Cărți de Kim Guldstrand Larsen

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

Lecture Notes in Computer Science, nr. 12652

Editat de Jan Friso Groote et al.

23 mar 2021

Preț: 307^.04 lei 383^.80 lei

43-57 zile

-20%

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11687

Editat de Kim Guldstrand Larsen et al.

25 iul 2019

Preț: 320^.06 lei 400^.08 lei

43-57 zile

-20%

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10606

Editat de Kim Guldstrand Larsen et al.

17 oct 2017

Preț: 329^.44 lei 411^.80 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 9899

Editat de Kim Guldstrand Larsen et al.

13 sep 2016

Preț: 321^.49 lei 401^.87 lei

43-57 zile

-20%

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Lecture Notes in Computer Science, nr. 8931

Editat de Deepak D'Souza et al.

7 ian 2015

Preț: 334^.93 lei 418^.66 lei

43-57 zile

-20%

Reactive Systems: Modelling, Specification and Verification

Autor Luca Aceto et al.

8 aug 2007

Preț: 645^.48 lei 806^.84 lei

43-57 zile | 5-11 zile

-20%