The logical basis for computer programming

Dettagli Bibliografici
Autore principale: Manna, Zohar
Altri autori: Waldinger, Richard
Natura: Libro
Lingua:English
Pubblicazione: Reading, Mass. Addison-Wesley c1985-c1990.
Serie:Addison-Wesley series in computer science
Soggetti: