Hoppa till sidans huvudinnehåll

Kim Guldstrand Larsen - Böcker

Visar alla böcker från författaren Kim Guldstrand Larsen.
7 produkter

Reactive Systems

Modelling, Specification and Verification

Av Luca Aceto, Anna Ingólfsdóttir m. fl

Inbunden, Engelska, 2007

1 479 kr

Skickas inom 10-15 vardagar

Formal Methods for Industrial Critical Systems

24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Av Kim Guldstrand Larsen, Tim Willemse

Häftad, Engelska, 2019

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

Av Jan Friso Groote, Kim Guldstrand Larsen

Häftad, Engelska, 2021

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

Av Jan Friso Groote, Kim Guldstrand Larsen

Häftad, Engelska, 2021

589 kr

Skickas inom 10-15 vardagar

Reachability Problems

10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Av Kim Guldstrand Larsen, Igor Potapov m. fl

Häftad, Engelska, 2016

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

Av Kim Guldstrand Larsen, Oleg Sokolsky m. fl

Häftad, Engelska, 2017

709 kr

Skickas inom 10-15 vardagar

Verification, Model Checking, and Abstract Interpretation

16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Av Deepak D'Souza, Akash Lal m. fl

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar