Program verification
Wokingham [u.a.]: Addison-Wesley, 1992
Monographie, Gedruckte Ressource
- XI, 312 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Program verification
|
---|---|
Verantwortlichkeitsangabe: | Nissim Francez |
Autor/in / Beteiligte Person: | Francez, Nissim (1944-) |
Verwandtes Werk: | |
Veröffentlichung: | Wokingham [u.a.]: Addison-Wesley, 1992 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XI, 312 S. : graph. Darst. |
ISBN: | 0201416085 |
Schlagwort: |
|
Sonstiges: |
|