Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science - Bernhard Steffen - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540208037 - 7 janvier 2004
Si la couverture et le titre ne correspondent pas, le titre est correct.

Bernhard Steffen
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 9 - 19 janv. 2026
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

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.

325 pages, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 7 janvier 2004
ISBN13 9783540208037
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 325
Dimensions 156 × 234 × 18 mm   ·   480 g
Langue et grammaire Allemand  

Plus par Bernhard Steffen

Afficher tout

Voir tous les Bernhard Steffen ( par ex. Paperback Book et Hardcover Book )