Program correctness over abstract data types, with error-state semantics / J. V. Tucker; J. I. Zucker

By:

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:

Subject(s):

DDC classification:

MSC: MSC: *68Q60 | 68P05 | 68-02 | 03D75RVK: RVK: ST 230 | ST 134 | ST 120Call number: Grundsignatur: 88 A 3764PPN: PPN: 025178229

Holdings
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