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

Bibliographische Detailangaben
1. Verfasser: Manna, Zohar
Weitere Verfasser: Waldinger, Richard
Format: Buch
Sprache:English
Veröffentlicht: Reading, Mass. Addison-Wesley c1993.
Schlagworte: