The Deductive foundations of computer programming /

Zapisane w:
Opis bibliograficzny
1. autor: Manna, Zohar (autor)
Kolejni autorzy: Waldinger, Richard
Format: Książka
Język:angielski
Wydane: Reading, EUA : Addison-Wesley, 1993, c1993
Hasła przedmiotowe:
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
Opis
Deskrypcja:Traducción de: The Logical Basis of Computer Programming
Opis fizyczny:717 p.
ISBN:0-201-54886-0