Noch Fragen? 0800 / 33 82 637

Computer Aided Verification

18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

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

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-540-37411-4 / 978-3540374114 / 9783540374114

Verlag: Springer Berlin

Erscheinungsdatum: 06.08.2006

Seiten: 564

Herausgegeben von Thomas Ball, Robert B. Jones

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück