Kim Guldstrand Larsen – författare
1 589 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
729 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
589 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
589 kr
Skickas inom 10-15 vardagar
Reachability Problems
10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
729 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
729 kr
Skickas inom 10-15 vardagar
729 kr
Skickas inom 10-15 vardagar