The logical basis for computer programming

Detaylı Bibliyografya
Yazar: Manna, Zohar
Diğer Yazarlar: Waldinger, Richard
Materyal Türü: Kitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Reading, Mass. Addison-Wesley c1985-c1990.
Seri Bilgileri:Addison-Wesley series in computer science
Konular: