Arnd Hartmanns – författare

Visar alla böcker från författaren Arnd Hartmanns.

2 produkter

1. 

   TOOLympics Challenge 2023

   Updates, Results, Successes of the Formal-Methods Competitions

   Av Dirk Beyer, Arnd Hartmanns m. fl.

   Häftad, 2024

   809 kr

   Lägg i varukorg

2. 

   Model Checking Software

   32nd International Symposium, SPIN 2026, Turin, Italy, April 15–16, 2026, Proceedings

   Av Vincenzo Ciancia, Arnd Hartmanns

   Häftad, 2027

   879 kr

   Kommande