Noch Fragen? 0800 / 33 82 637

Verification, Model Checking, and Abstract Interpretation

Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

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-47813-3 / 978-3540478133 / 9783540478133

Verlag: Springer Berlin

Erscheinungsdatum: 31.07.2003

Seiten: 331

Herausgegeben von Agostino Cortesi

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück