Kim Guldstrand Larsen – författare
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, 2007
1899 kr
Lägg i varukorg
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, 2019
739 kr
Lägg i varukorg
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, 2021
599 kr
Lägg i varukorg
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, 2021
599 kr
Lägg i varukorg
Reachability Problems
10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Av Kim Guldstrand Larsen, Igor Potapov m. fl.
Häftad, 2016
739 kr
Lägg i varukorg
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, 2017
739 kr
Lägg i varukorg
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, 2015
739 kr
Lägg i varukorg