Noch Fragen? 0800 / 33 82 637

Verified Software: Theories, Tools, Experiments

Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-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-15057-9 / 978-3642150579 / 9783642150579

Verlag: Springer Berlin

Erscheinungsdatum: 12.08.2010

Seiten: 217

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

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück