Noch Fragen? 0800 / 33 82 637

Computer Aided Verification

23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

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

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-642-22110-1 / 978-3642221101 / 9783642221101

Verlag: Springer Berlin

Erscheinungsdatum: 05.07.2011

Seiten: 763

Herausgegeben von Ganesh Gopalakrishnan, Shaz Qadeer

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück