The Deductive foundations of computer programming /

-д хадгалсан:
Номзүйн дэлгэрэнгүй
Үндсэн зохиолч: Manna, Zohar (autor)
Бусад зохиолчид: Waldinger, Richard
Формат: Ном
Хэл сонгох:англи
Хэвлэсэн: Reading, EUA : Addison-Wesley, 1993, c1993
Нөхцлүүд:
Шошгууд: Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!