Custom cover image
Custom cover image

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
Subject(s): Genre/Form: Additional physical formats: 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 classification:
  • QA76.76.V47
PPN: PPN: 533208645
Holdings
Item type Home library Call number Status
Institutsbestand ITIV IB-3630 Not for loan
Total holds: 0