Arnd Hartmanns - Böcker
Visar alla böcker från författaren Arnd Hartmanns.
1 produkt
1 produkt
Del 14550 - Lecture Notes in Computer Science
TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
Häftad, Engelska, 2024
789 kr
Skickas inom 10-15 vardagar