Model checking / Edmund M. Clarke, Orna Grumberg, and Doron A. Peled
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: Cambridge, Mass. [u.a.] : MIT Press, 2002Edition: 4. printDescription: XIV, 314 S. : graph. DarstISBN:- 0262032708
- 004.2/1
- 004.21
- 2
Item type | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
Handbibliothek | Fakultät für Informatik | E.Cla | Handbibliothek (Ausleihe und Einsicht nicht möglich) | E.Cla(44481) | Checked out Ausleihe und Einsicht nicht möglich | 15.01.2034 | 000449067090 |
Total holds: 0
Archivierung prüfen 20200919 DE-640 2 pdager