Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science 2004 edition

Rajeev Alur

Prix

€ 119,99

Commandé depuis un entrepôt distant

Livraison prévue 31 mars - 9 avr.

Nos clients disent :

Ajouter à votre liste de souhaits iMusic

536 pages, biography

Médias	Livres Paperback Book (Livre avec couverture souple et dos collé)
Validé	29 juin 2004
ISBN13	9783540223429
Éditeurs	Springer-Verlag Berlin and Heidelberg Gm
Pages	536
Dimensions	155 × 233 × 28 mm · 811 g
Langue et grammaire	German
Éditeur	Alur, Rajeev
Éditeur	Peled, Doron A.

Afficher tout