The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley; Zohar Manna
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
- QA76.9.L63
Item type | Home library | Collection | Shelving location | Call number | Copy number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|---|
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