Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC ISBD

The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley; Zohar Manna

Von: Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchVerlagsnummer: 12078547Sprache: Englisch Verlag: Berlin ; Heidelberg [u.a.] : Springer, 2007Beschreibung: XV, 366 S. : graph. Darst. ; 235 mm x 155 mmISBN:
  • 3540741127
  • 9783540741121
  • 9783642093470
Schlagwörter: Andere physische Formen: 9783540741138 | Online-Ausg.: The Calculus of Computation. Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. Online-Ressource (XVI, 366 p. 60 illus, digital)MSC: MSC: *03-02 | 03B70 | 68Q60 | 03B25 | 03F30 | 68-02 | 68N30RVK: RVK: ST 125LOC-Klassifikation:
  • QA76.9.L63
Call number: Grundsignatur: 2007 A 7131PPN: PPN: 539009342
Exemplare
Medientyp Heimatbibliothek Sammlung Standort Signatur Exemplarnummer Status Fälligkeitsdatum Barcode Vormerkungen
Freihandbestand ausleihbar Bibliothek Campus Süd inf 1.2 Lesesaal Wirtschaftswissenschaften und Informatik (LSW) 2007 A 7131 Verfügbar 49233462090
Freihandbestand ausleihbar Fachbibliothek Mathematik Bibliothek / frei aufgestellt Inf. / Bra Verfügbar 36534681090
Handbibliothek ITI inf 1.2 Handbibliothek (Ausleihe und Einsicht nicht möglich) 2007 A 7131 ;b Ausgeliehen Ausleihe und Einsicht nicht möglich 04.02.2033 49434874090
Anzahl Vormerkungen: 0

Powered by Koha