Custom cover image
Custom cover image

Formalisieren und beweisen : Logik für Informatiker / Dirk Siefkes

By: Resource type: Ressourcentyp: BuchBookLanguage: German Publisher: Braunschweig ; Wiesbaden : Vieweg, 1992Edition: 2., verb. AuflDescription: XIII, 259 S. : graph. DarstISBN:
  • 3528147571
Subject(s): RVK: RVK: ST 120 | SK 130Call number: Grundsignatur: 90 A 4716(2)PPN: PPN: 025458132
Holdings
Item type Home library Collection Shelving location Call number Copy number Status Date due Barcode Item holds
Freihandbestand ausleihbar Fachbibliothek DHBW Karlsruhe inf 1.4 Bibliothek / frei aufgestellt 90 A 4716(2) ;b Available 52041023090
Total holds: 0

Powered by Koha