TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
Häftad, Engelska, 2024
Av Dirk Beyer, Arnd Hartmanns, Fabrice Kordon, Ph. D. Beyer, Dirk
829 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France.
Produktinformation
- Utgivningsdatum2024-11-01
- Mått155 x 235 x 11 mm
- Vikt289 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor172
- FörlagSpringer International Publishing AG
- ISBN9783031676949