- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Model Checking Software
17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings
75,45 €
+ 150 points
Description
This book constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, held at the University of Twente, in Enschede, The Netherlands, in September 2010. The 13 revised full papers presented together with 2 tool papers and 3 invited talks were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on satisfiability modulo theories for model checking, model checking in context (simulation, testing, UML), implementation and performance of model checking, LTL and Buchi automata, extensions to infinite-state systems, and concurrent software.
Spécifications
Parties prenantes
- Editeur:
Contenu
- Nombre de pages :
- 263
- Langue:
- Anglais
- Collection :
- Tome:
- n° 6349
Caractéristiques
- EAN:
- 9783642161636
- Date de parution :
- 27-09-10
- Format:
- Livre broché
- Format numérique:
- Trade paperback (VS)
- Dimensions :
- 152 mm x 229 mm
- Poids :
- 476 g
Les avis
Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.