Kim Guldstrand Larsen – författare
1 549 kr
Skickas inom 7-10 vardagar
Formal Methods for Industrial Critical Systems
24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
719 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
579 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
579 kr
Skickas inom 10-15 vardagar
Reachability Problems
10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
719 kr
Skickas inom 10-15 vardagar
Dependable Software Engineering. Theories, Tools, and Applications
Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
719 kr
Skickas inom 10-15 vardagar
Verification, Model Checking, and Abstract Interpretation
16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
719 kr
Skickas inom 10-15 vardagar