Decision procedures : an algorithmic point of view / Daniel Kroening; Ofer Strichman
Contributor(s): Resource type: Ressourcentyp: BuchBookPublisher number: 12021093Language: English Series: Texts in theoretical computer science an EATCS seriesPublisher: Berlin ; Heidelberg : Springer, 2008Description: XVI, 304 S. : Ill., graph. Darst. ; 243 mm x 163 mmISBN:- 9783540741046
- 3540741046
- 004
- 004.015113
- 004 510
- 004
Item type | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
Handbibliothek | Fakultät für Informatik | D.Krö | Handbibliothek (Ausleihe und Einsicht nicht möglich) | D.Krö(56056) | Checked out Ausleihe und Einsicht nicht möglich | 15.01.2034 | 000639426090 | |
Handbibliothek | ITI | Handbibliothek (Ausleihe und Einsicht nicht möglich) | 2008 A 2562 | Checked out Ausleihe und Einsicht nicht möglich | 04.02.2033 | 49195490090 |
Total holds: 0