TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions (Lecture Notes in Computer Science, Band 14550)

Wo zu kaufen (2) Eigenschaften

Gesponsert

TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions (Lecture Notes in Computer Science, Band 14550)

Medimops DE

58.84 EUR

Preis aktualisiert am: 25-04-2026 08:30:23

Siehe Produktangebot

Gesponsert

TOOLympics Challenge 2023

SpringerLink DE

58.84 EUR

Preis aktualisiert am: 25-04-2026 11:15:30

Siehe Produktangebot

Allgemein

Eigenschaften

Ähnliche Produkte

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Produkt anzeigen