Noch Fragen? 0800 / 33 82 637

Automated Technology for Verification and Analysis

Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. 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-540-30476-0 / 978-3540304760 / 9783540304760

Verlag: Springer Berlin

Erscheinungsdatum: 11.10.2004

Seiten: 510

Herausgegeben von Farn Wang

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück