Noch Fragen? 0800 / 33 82 637

TOOLympics Challenge 2023

Updates, Results, Successes of the Formal-Methods Competition

Produktform: Buch / Einband - flex.(Paperback)


Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-031-67694-9 / 978-3031676949 / 9783031676949

Verlag: Springer International Publishing

Erscheinungsdatum: 12.11.2024

Seiten: 172

Auflage: 1

Herausgegeben von Fabrice Kordon, Dirk Beyer, Arnd Hartmanns

53,49 € inkl. MwSt.
kostenloser Versand

vorbestellbar

zurück