Custom cover image
Custom cover image

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

By: Contributor(s): Resource type: Ressourcentyp: BuchBookPublisher number: 12078547Language: English Publisher: Berlin ; Heidelberg [u.a.] : Springer, 2007Description: XV, 366 S. : graph. Darst. ; 235 mm x 155 mmISBN:
  • 3540741127
  • 9783540741121
  • 9783642093470
Subject(s): Additional physical formats: 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 classification:
  • QA76.9.L63
Call number: Grundsignatur: 2007 A 7131PPN: PPN: 539009342
Holdings
Item type Home library Collection Shelving location Call number Copy number Status Date due Barcode
Freihandbestand ausleihbar Bibliothek Campus Süd inf 1.2 Lesesaal Wirtschaftswissenschaften und Informatik (LSW) 2007 A 7131 Available 49233462090
Freihandbestand ausleihbar Fachbibliothek Mathematik Bibliothek / frei aufgestellt Inf. / Bra Available 36534681090
Handbibliothek ITI inf 1.2 Handbibliothek (Ausleihe und Einsicht nicht möglich) 2007 A 7131 ;b Checked out Ausleihe und Einsicht nicht möglich 04.02.2033 49434874090
Total holds: 0