Noch Fragen? 0800 / 33 82 637

Model Checking Software

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Sprache(n): Englisch

ISBN: 978-3-642-16163-6 / 978-3642161636 / 9783642161636

Verlag: Springer Berlin

Erscheinungsdatum: 27.09.2010

Seiten: 263

Auflage: 1

Zielgruppe: Professional/practitioner

Herausgegeben von Michael Weber, Jaco van der Pol

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück