The logical basis for computer programming

Bibliographische Detailangaben
1. Verfasser: Manna, Zohar
Weitere Verfasser: Waldinger, Richard
Format: Buch
Sprache:Englisch
Veröffentlicht: Reading, Mass. Addison-Wesley c1985-c1990.
Schriftenreihe:Addison-Wesley series in computer science
Schlagworte: