Noch Fragen? 0800 / 33 82 637

Computer Aided Verification

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem


Dieser Artikel gehört zu den folgenden Serien

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-540-44585-2 / 978-3540445852 / 9783540445852

Verlag: Springer Berlin

Erscheinungsdatum: 15.05.2003

Seiten: 522

Herausgegeben von Gerard Berry, Hubert Comon, Alain Finkel

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück