Martin Leucker - Böcker
Runtime Verification
18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
1 079 kr
Skickas inom 10-15 vardagar
Formal Methods in Outer Space
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
789 kr
Skickas inom 10-15 vardagar
Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
1 429 kr
Skickas inom 10-15 vardagar
Theoretical Aspects of Computing - ICTAC 2015
12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
719 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
Runtime Verification
8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
719 kr
Skickas inom 10-15 vardagar
Theoretical Aspects of Computing - ICTAC 2009
6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
719 kr
Skickas inom 10-15 vardagar