Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Verification, Model Checking, and Abstract Interpretation

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

Produktform: Buch / Einband - flex.(Paperback)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-540-43631-7 / 978-3540436317 / 9783540436317

Verlag: Springer Berlin

Erscheinungsdatum: 24.04.2002

Seiten: 331

Auflage: 1

Zielgruppe: Research

Herausgegeben von Agostino Cortesi

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück