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ț: 313^.34 lei 391^.67 lei

6-8 săpt.

-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ț: 326^.64 lei 408^.30 lei

6-8 săpt.

-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ț: 336^.21 lei 420^.26 lei

6-8 săpt.

-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ț: 328^.09 lei 410^.12 lei

6-8 săpt.

-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ț: 341^.81 lei 427^.26 lei

6-8 săpt.

-20%

Reactive Systems: Modelling, Specification and Verification

Autor Luca Aceto et al.

8 aug 2007

Preț: 658^.79 lei 823^.48 lei

6-8 săpt. | 10-14 zile

-20%