André Platzer - Böcker
591 kr
Skickas inom 10-15 vardagar
Automated Deduction – CADE 28
28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
445 kr
Skickas inom 10-15 vardagar
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
445 kr
Skickas inom 10-15 vardagar
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
1 632 kr
Skickas inom 10-15 vardagar
Correct System Design
Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
517 kr
Skickas inom 10-15 vardagar
591 kr
Skickas inom 10-15 vardagar
1 069 kr
Skickas inom 10-15 vardagar
1 069 kr
Skickas inom 10-15 vardagar