Lupe
Suche

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

Support
Cover von Gerard Berry & Hubert Comon: Computer Aided Verification (PDF)
€111.34
Zahlungsmethoden
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

Gerard BerryHubert ComonAlain Finkel

16.089 Ebooks in dieser Kategorie

Keine Ergebnisse