Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC-Ansicht ISBD

Model checking software : 14th International SPIN Workshop, Berlin, Germany, July 1 - 3, 2007 ; proceedings / Dragan Bošnački; Stefan Edelkamp (eds.)

Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchVerlagsnummer: 12084210Sprache: Englisch Reihen: Lecture notes in computer science ; 4595Verlag: Berlin ; Heidelberg [u.a.] : Springer, 2007Beschreibung: X, 283 S. : Ill., graph. Darst. ; 235 mm x 155 mmISBN:
  • 3540733698
  • 9783540733690
Schlagwörter: Genre/Form: Andere physische Formen: Online-Ausg.: Model Checking Software. Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. Online-Ressource (X, 285 p, digital)MSC: MSC: *68-06 | 68N30 | 00B25RVK: RVK: SS 4800LOC-Klassifikation:
  • QA76.76.V47
PPN: PPN: 533208645
Exemplare
Medientyp Heimatbibliothek Signatur Status
Institutsbestand ITIV IB-3630 Nicht ausleihbar
Anzahl Vormerkungen: 0