Programming logics: an introduction to verification and semantics
New York [u.a.]: Wiley, 1989
Monographie, Einführung, Gedruckte Ressource
- XVII, 334 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Programming logics: an introduction to verification and semantics
|
---|---|
Verantwortlichkeitsangabe: | Raymond D. Gumb |
Autor/in / Beteiligte Person: | Gumb, Raymond D. |
Veröffentlichung: | New York [u.a.]: Wiley, 1989 |
Medientyp: | Monographie, Einführung |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XVII, 334 S. |
ISBN: | 0471605395 : ¤ 34.50 |
Schlagwort: |
|
Sonstiges: |
|