Springer 2011 07 05 (2 résultats)

Editeur:

Affiner les résultats avec une recherche avancée

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings: 6806 (Lecture Notes in Computer Science, 6806)
Ganesh Gopalakrishnan, Shaz Qadeer
Langue : anglais
Edité par Springer 2011-07-05, 2011
3642221092 / 9783642221095
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 52,28
EUR 18,14 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible
Paperback. Etat : New.
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings (Lecture Notes in Computer Science)
Alex Groce, Madanlal Musuvathi
Langue : anglais
Edité par Springer 2011-07-05, 2011
3642223052 / 9783642223051
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 57,59
EUR 18,14 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponibles
Paperback. Etat : New.