Program correctness over abstract data types, with error-state semantics J. V. Tucker; J. I. Zucker
Materialtyp:
TextSprache: Englisch Reihen: ; 500 | Centrum voor Wiskunde en Informatica CWI monographs ; 500 | Verlag: Amsterdam [u.a.] North-Holland 1988Beschreibung: VIII, 212 SInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 0444703403
- ST 230
- ST 134
- ST 120
- *68Q60
- 68P05
- 68-02
- 03D75
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | TUCk j 1988:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000141620 | ||
|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | TUCk j 1988:1 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2204000012140 |
Literaturverz. S. 206 - 212