Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Model Checking Software

30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-031-66148-8 / 978-3031661488 / 9783031661488

Verlag: Springer International Publishing

Erscheinungsdatum: 09.11.2024

Seiten: 270

Auflage: 1

Herausgegeben von Anton Wijs, Thomas Neele

53,49 € inkl. MwSt.
kostenloser Versand

vorbestellbar

zurück