Chargement en cours…
Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings /
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully revi...
| Cote: | Libro Electrónico |
|---|---|
| Collectivité auteur: | |
| Autres auteurs: | , |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
| Édition: | 1st ed. 2009. |
| Collection: | Theoretical Computer Science and General Issues,
5643 |
| Sujets: | |
| Accès en ligne: | Texto Completo |