Bibliothek Systemsoftware
Benutzer Paßwort

SSW-Bibliothek / Publikations-Detailinformation
Software Development with Z  
A Practical Approach to Formal Methods in Software
ISBN: 0201627574
Ausgabe: 1992
Ausgabejahr: 1992
Autor(en): J. Wordsworth
Verlag: Addison-Wesley
Publikationstyp: Buch
Publikationskategorie: 1.3 1.3 Softwaretechnik
SSW-Nummer: 0241
Bibliothek: Informatik-Bibliothek [16140]
Standort: SSW-Bibliothek
Stichwörter:
Kurzbeschreibung: