Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Theoretical Computer Science and General Issues - Byron Cook - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540697350 - 3 janvier 2007
Si la couverture et le titre ne correspondent pas, le titre est correct.

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Theoretical Computer Science and General Issues 2007 edition

Byron Cook

Prix
€ 64,49

Commandé depuis un entrepôt distant

Livraison prévue 3 - 12 déc.
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Theoretical Computer Science and General Issues 2007 edition

The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007.

395 pages, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 3 janvier 2007
ISBN13 9783540697350
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 395
Dimensions 155 × 235 × 21 mm   ·   612 g
Langue et grammaire German  
Éditeur Cook, Byron
Éditeur Podelski, Andreas

Voir tous les Byron Cook ( par ex. Paperback Book )