Axel Legay - Böcker
Model Checking Software
26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
719 kr
Skickas inom 10-15 vardagar
Hardware and Software: Verification and Testing
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
719 kr
Skickas inom 10-15 vardagar
Formal Modeling and Analysis of Timed Systems
12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
689 kr
Skickas inom 10-15 vardagar
Automated Technology for Verification and Analysis
14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
719 kr
Skickas inom 10-15 vardagar
Risks and Security of Internet and Systems
11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers
719 kr
Skickas inom 10-15 vardagar
Models, Algorithms, Logics and Tools
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
719 kr
Skickas inom 10-15 vardagar
Risks and Security of Internet and Systems
12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
719 kr
Skickas inom 10-15 vardagar
Runtime Verification
4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
719 kr
Skickas inom 10-15 vardagar
From Programs to Systems - The Systems Perspective in Computing
ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
699 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar