Noch Fragen? 0800 / 33 82 637

Computer Aided Verification

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Sprache(n): Englisch

ISBN: 978-3-642-39798-1 / 978-3642397981 / 9783642397981

Verlag: Springer Berlin

Erscheinungsdatum: 14.07.2013

Seiten: 1015

Auflage: 1

Zielgruppe: Professional/practitioner

Herausgegeben von Helmut Veith, Natasha Sharygina

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück