TOOLympics Challenge 2023

Updates, Results, Successes of the Formal-Methods Competition, Lecture Notes in Computer Science 14550

53,49 €
(inkl. MwSt.)
In den Warenkorb

Noch nicht lieferbar

Bibliografische Daten
ISBN/EAN: 9783031676949
Sprache: Englisch
Umfang: ix, 172 S., 7 s/w Illustr., 20 farbige Illustr., A
Auflage: 1. Auflage 2024
Einband: kartoniertes Buch

Zusätzliche Informationen

Zurzeit sind keine weiteren Informationen zu diesem Artikel vorhanden.