Custom cover image
Custom cover image

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

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: Cambridge, Mass. [u.a.] : MIT Press, 2002Edition: 4. printDescription: XIV, 314 S. : graph. DarstISBN:
  • 0262032708
Subject(s): DDC classification:
  • 004.2/1
  • 004.21
RVK: RVK: ST 130Action note:
  • 2
Call number: Grundsignatur: E.Cla(44481)PPN: PPN: 1602983194
Holdings
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