Arnd Hartmanns – författare
Visar alla böcker från författaren Arnd Hartmanns. Handla med fri frakt och snabb leverans.
3 produkter
TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
Av Dirk Beyer, Arnd Hartmanns m. fl.
Häftad, 2024
624 kr
Lägg i varukorg
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. The goal is to acknowledge the achievements of the …
TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
Av Fabrice Kordon, Arnd Hartmanns m. fl.
E-bok, 2024
821 kr
Lägg i varukorg
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 n Paris, France. The goal is to acknowledge the achievements of the …
Model Checking Software
32nd International Symposium, SPIN 2026, Turin, Italy, April 15–16, 2026, Proceedings
Av Vincenzo Ciancia, Arnd Hartmanns
Häftad, 2027
675 kr
Kommande
This book constitutes the refereed proceedings of the 32nd International Symposium on Model Checking Software, SPIN 2026, held in Turin, Italy, during April 15–16, 2026.The 5 full papers, 1 short paper, and 1 tool paper included in this Volume were carefully reviewed and selected from 17 …
