Noch Fragen? 0800 / 33 82 637

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, 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-27813-9 / 978-3540278139 / 9783540278139

Verlag: Springer Berlin

Erscheinungsdatum: 30.07.2004

Seiten: 536

Herausgegeben von Rajeev Alur, Doron A. Peled, Doron Peled

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück