Inbunden, Engelska, 2007
1 589 kr
Skickas inom 10-15 vardagar
Kim Guldstrand Larsen – författare
Visar alla böcker från författaren .
7 produkter
7 produkter
- Del 11687 - Lecture Notes in Computer Science
Formal Methods for Industrial Critical Systems
24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Häftad, Engelska, 2019729 kr
Skickas inom 10-15 vardagar
- Del 12652 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2021589 kr
Skickas inom 10-15 vardagar
- Del 12651 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2021589 kr
Skickas inom 10-15 vardagar
- Del 9899 - Lecture Notes in Computer Science
Reachability Problems
10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Häftad, Engelska, 2016729 kr
Skickas inom 10-15 vardagar
- Del 10606 - Lecture Notes in Computer Science
Dependable Software Engineering. Theories, Tools, and Applications
Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Häftad, Engelska, 2017729 kr
Skickas inom 10-15 vardagar
- Häftad, Engelska, 2015
729 kr
Skickas inom 10-15 vardagar