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

Support
€115.37
Zahlungsmethoden
Dieses Ebook kaufen – und ein weitere GRATIS erhalten!
Sprache Englisch ● Format PDF ● ISBN 9783540445852 ● Herausgeber Gerard Berry & Hubert Comon ● Verlag Springer Berlin Heidelberg ● Erscheinungsjahr 2003 ● herunterladbar 3 mal ● Währung EUR ● ID 6318187 ● Kopierschutz Adobe DRM
erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

16.637 Ebooks in dieser Kategorie