Custom cover image
Custom cover image

Decision procedures : an algorithmic point of view / Daniel Kroening; Ofer Strichman

By: 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
Subject(s): Genre/Form: Additional physical formats: 9783540741053. | Online-Ausg. u.d.T.: Decision Procedures. Berlin : Springer, 2008. Online-Ressource (digital)DDC classification:
  • 004
  • 004.015113
  • 004 510
  • 004
MSC: MSC: *68-01 | 68-02 | 68T15 | 68T20 | 68T27RVK: RVK: ST 134Call number: Grundsignatur: 2008 A 2562PPN: PPN: 539009334
Holdings
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