The deductive foundations of computer programming: a one-volume version of "The logical basis for computer programming"
Reading, Mass. [u.a.]: Addison-Wesley, 1993
Monographie, Gedruckte Ressource
- XIV, 717 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
The deductive foundations of computer programming: a one-volume version of "The logical basis for computer programming"
|
---|---|
Verantwortlichkeitsangabe: | Zohar Manna ; Richard Waldinger |
Autor/in / Beteiligte Person: | Manna, Zohar ; Waldinger, Richard |
Veröffentlichung: | Reading, Mass. [u.a.]: Addison-Wesley, 1993 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XIV, 717 S. |
ISBN: | 0201548860 |
Schlagwort: |
|
Sonstiges: |
|