Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC-Ansicht ISBD

Model checking / Edmund M. Clarke, Orna Grumberg, and Doron A. Peled

Von: Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Verlag: Cambridge, Mass. [u.a.] : MIT Press, 2002Auflage: 4. printBeschreibung: XIV, 314 S. : graph. DarstISBN:
  • 0262032708
Schlagwörter: DDC-Klassifikation:
  • 004.2/1
  • 004.21
RVK: RVK: ST 130Bearbeitungsvermerk:
  • 2
Call number: Grundsignatur: E.Cla(44481)PPN: PPN: 1602983194
Exemplare
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