Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Computer Aided Verification

22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, 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-642-14295-6 / 978-3642142956 / 9783642142956

Verlag: Springer Berlin

Erscheinungsdatum: 09.07.2010

Seiten: 676

Herausgegeben von Paul Jackson, Tayssir Touili, Byron Cook

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück