Model checking / Edmund M. Clarke, Orna Grumberg, and Doron A. Peled
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Verlag: Cambridge, Mass. [u.a.] : MIT Press, 2002Auflage: 4. printBeschreibung: XIV, 314 S. : graph. DarstISBN:- 0262032708
- 004.2/1
- 004.21
- 2
Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
---|---|---|---|---|---|---|---|---|
Handbibliothek | Fakultät für Informatik | E.Cla | Handbibliothek (Ausleihe und Einsicht nicht möglich) | E.Cla(44481) | Ausgeliehen Ausleihe und Einsicht nicht möglich | 15.01.2034 | 000449067090 |
Anzahl Vormerkungen: 0
Archivierung prüfen 20200919 DE-640 2 pdager