Custom cover image
Custom cover image

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:
  • 0444703403
Subject(s): DDC classification:
  • 005
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

Powered by Koha