The deductive foundations of computer programming a one-volume version of the logical basis for computer programming

Detaylı Bibliyografya
Yazar: Manna, Zohar
Diğer Yazarlar: Waldinger, Richard
Materyal Türü: Kitap
Dil:English
Baskı/Yayın Bilgisi: Reading, Mass. Addison-Wesley c1993.
Konular: