0

TOOLympics Challenge 2023

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

Erschienen am 01.11.2024, 1. Auflage 2024
53,49 €
(inkl. MwSt.)

Nachfragen

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9783031676949
Sprache: Englisch
Umfang: ix, 172 S., 8 s/w Illustr., 20 farbige Illustr., 1
Einband: kartoniertes Buch

Produktsicherheitsverordnung

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg

Weitere Artikel aus der Kategorie "Informatik, EDV/Informatik"

Alle Artikel anzeigen