Custom cover image
Software development with Z : a practical approach to formal methods in software engineering / J. B. Wordsworth
Resource type: Ressourcentyp: BuchBookLanguage: English Series: International computer science seriesPublisher: Wokingham, England [u.a.] : Addison-Wesley, 1992Edition: 1. printDescription: XII, 334 S : Ill ; 24 cmISBN:- 0201627574
- 005.1/2
- 005.133
- QA76.73.Z2
Contents:
Action note: - 3
| Item type | Home library | Collection | Shelving location | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Wor | Bibliothek / frei aufgestellt | D.Wor(14905) | ;b | Available | 000130626090 |
Total holds: 0
Archivierung prüfen 20220325 DE-640 3 pdager