André Platzer – författare
587 kr
Skickas inom 10-15 vardagar
Automated Deduction – CADE 28
28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
441 kr
Skickas inom 10-15 vardagar
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
441 kr
Skickas inom 10-15 vardagar
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
1 636 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
513 kr
Skickas inom 10-15 vardagar
587 kr
Skickas inom 10-15 vardagar
1 061 kr
Skickas inom 10-15 vardagar
1 061 kr
Skickas inom 10-15 vardagar