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
- QA76.76.V47
Medientyp | Heimatbibliothek | Signatur | Status | |
---|---|---|---|---|
Institutsbestand | ITIV | IB-3630 | Nicht ausleihbar |
Anzahl Vormerkungen: 0