Model checking software : 14th International SPIN Workshop, Berlin, Germany, July 1 - 3, 2007 ; proceedings / Dragan Bošnački; Stefan Edelkamp (eds.)
Contributor(s): Resource type: Ressourcentyp: BuchBookPublisher number: 12084210Language: English Series: Lecture notes in computer science ; 4595Publisher: Berlin ; Heidelberg [u.a.] : Springer, 2007Description: X, 283 S. : Ill., graph. Darst. ; 235 mm x 155 mmISBN:- 3540733698
- 9783540733690
- QA76.76.V47
Item type | Home library | Call number | Status | |
---|---|---|---|---|
Institutsbestand | ITIV | IB-3630 | Not for loan |
Total holds: 0