Chargement en cours…
Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings /
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The...
| Cote: | Libro Electrónico |
|---|---|
| Collectivité auteur: | |
| Autres auteurs: | , |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
| Édition: | 1st ed. 2013. |
| Collection: | Theoretical Computer Science and General Issues,
7976 |
| Sujets: | |
| Accès en ligne: | Texto Completo |