An introduction to formal specification with Z and VDM
London [u.a.]: McGraw-Hill, 1995
Monographie, Einführung, Gedruckte Ressource
- XVII, 398 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
An introduction to formal specification with Z and VDM
|
---|---|
Verantwortlichkeitsangabe: | Deri Sheppard |
Autor/in / Beteiligte Person: | Sheppard, Deri |
Verwandtes Werk: | |
Veröffentlichung: | London [u.a.]: McGraw-Hill, 1995 |
Medientyp: | Monographie, Einführung |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XVII, 398 S. : graph. Darst. |
ISBN: | 0077079078 kart. : £ 19.95 |
Schlagwort: |
|
Sonstiges: |
|