Custom cover image
Custom cover image

Z : an introduction to formal methods / Antoni Diller

By: Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: Chichester [u.a.] : Wiley, 1990Description: XXI, 309 S : graph. DarstISBN:
  • 047192489X
Subject(s): MSC: MSC: *68Q60 | 68Q45 | 68N01 | 68-01RVK: RVK: ST 260LOC classification:
  • QA76.73.Z2
  • QA76.73.Z/
Action note:
  • 1
Call number: Grundsignatur: 90 A 3763PPN: PPN: 025242040
Holdings
Item type Home library Shelving location Call number Status Date due Barcode Item holds
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 90 A 3763 Available 46155786090
Total holds: 0

Archivierung prüfen 20200919 DE-640 1 pdager

KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT

Powered by Koha