Noch Fragen? 0800 / 33 82 637

Model Checking Software

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Sprache(n): Englisch

ISBN: 978-3-540-73369-0 / 978-3540733690 / 9783540733690

Verlag: Springer Berlin

Erscheinungsdatum: 21.06.2007

Seiten: 285

Auflage: 1

Zielgruppe: Research

Herausgegeben von Stefan Edelkamp, Dragan Bosnacki

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück