Kim Guldstrand Larsen - Böcker

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

7 produkter

Kategorier

7 produkter

Reactive Systems

Modelling, Specification and Verification

AvLuca Aceto,Anna Ingólfsdóttir m. fl.

Inbunden, Engelska, 2007

1 439 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

AvKim Guldstrand Larsen,Tim Willemse

Häftad, Engelska, 2019

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

AvJan Friso Groote,Kim Guldstrand Larsen

Häftad, Engelska, 2021

569 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

AvJan Friso Groote,Kim Guldstrand Larsen

Häftad, Engelska, 2021

569 kr

Skickas inom 10-15 vardagar

Reachability Problems

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

AvKim Guldstrand Larsen,Igor Potapov m. fl.

Häftad, Engelska, 2016

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

AvKim Guldstrand Larsen,Oleg Sokolsky m. fl.

Häftad, Engelska, 2017

699 kr

Skickas inom 10-15 vardagar

Verification, Model Checking, and Abstract Interpretation

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

AvDeepak D'Souza,Akash Lal m. fl.

Häftad, Engelska, 2015

719 kr

Skickas inom 10-15 vardagar