Gerard Berry & Hubert Comon 
Computer Aided Verification [PDF ebook] 
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Support
€115.37
méthodes de payement
Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !
Langue Anglais ● Format PDF ● ISBN 9783540445852 ● Éditeur Gerard Berry & Hubert Comon ● Maison d’édition Springer Berlin Heidelberg ● Publié 2003 ● Téléchargeable 3 fois ● Devise EUR ● ID 6318187 ● Protection contre la copie Adobe DRM
Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

16 637 Ebooks dans cette catégorie