Software prototyping, formal methods and VDM / Sharam Hekmatpour; Darrel Ince
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: International computer science seriesPublisher: Wokingham [u.a.] : Addison-Wesley, 1988Edition: 1. printDescription: X, 222 S. : graph. DarstISBN:- 020117572X
- 005.1
- 005.1/1
- 2
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 89 A 94 | Available | 46741495090 |
Total holds: 0
Archivierung prüfen 20200919 DE-640 2 pdager