Noch Fragen? 0800 / 33 82 637

Verified Software: Theories, Tools, Experiments

Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

Produktform: Buch / Einband - flex.(Paperback)


Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-642-15056-2 / 978-3642150562 / 9783642150562

Verlag: Springer Berlin

Erscheinungsdatum: 05.08.2010

Seiten: 217

Auflage: 1

Zielgruppe: Professional/practitioner

Herausgegeben von Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück