Program correctness over abstract data types, with error-state semantics / J. V. Tucker; J. I. Zucker
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Centrum voor Wiskunde en Informatica CWI monographs ; 6Publisher: Amsterdam [u.a.] : North-Holland, 1988Description: VIII, 212 SISBN:- 0444703403
- 005
Item type | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 88 A 3764 | Available | 46801892090 |
Total holds: 0