Noch Fragen? 0800 / 33 82 637

Computer Aided Verification

15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, 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-45069-6 / 978-3540450696 / 9783540450696

Verlag: Springer Berlin

Erscheinungsdatum: 02.05.2011

Seiten: 462

Herausgegeben von Fabio Somenzi, Warren A. Hunt, Jr.

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück