Formal specification using Z : a modelling approach / Leonardo Bottaci; John Jones
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: London ; Bonn [u.a.] : Internat. Thomson Publ., 1995Edition: 1. printDescription: XII, 320 S. : Ill., graph. DarstISBN:- 1850321094
- 1
Item type | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 2017 A 6288 | Available | 51855857090 |
Total holds: 0
Archivierung prüfen 20200919 DE-640 1 pdager