Cărți de Kim Guldstrand Larsen

Reactive Systems: Modelling, Specification and Verification

Autor Luca Aceto et al.

8 aug 2007

Preț: 668^.51 lei 835^.63 lei

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems

Lecture Notes in Computer Science, nr. 11687

Editat de Kim Guldstrand Larsen et al.

25 iul 2019

Preț: 316^.03 lei 395^.04 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science, nr. 12651

Editat de Jan Friso Groote et al.

20 mar 2021

Preț: 255^.41 lei 319^.26 lei

3-5 săpt. | 6-10 zile

-20%

Dependable Software Engineering. Theories, Tools, and Applications

Lecture Notes in Computer Science, nr. 10606

Editat de Kim Guldstrand Larsen et al.

17 oct 2017

Preț: 325^.83 lei 407^.29 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation

Editat de Deepak D'Souza et al.

7 ian 2015

Preț: 331^.80 lei 414^.75 lei

6-8 săpt.

-20%