Tools and Algorithms for the Construction and Analysis of Systems
Editat de Jan Friso Groote et al.
20 mar 2021
Paperback
Preț: 255.32 lei 319.15 lei
3-5 săpt. | 7-13 zile
-20%
Cărți de Kim Guldstrand Larsen
Formal Methods for Industrial Critical Systems
Editat de Kim Guldstrand Larsen et al.
25 iul 2019
Paperback
Preț: 315.05 lei 393.82 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
Editat de Kim Guldstrand Larsen et al.
17 oct 2017
Paperback
Preț: 323.41 lei 404.26 lei
6-8 săpt.
-20%
Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Editat de Kim Guldstrand Larsen et al.
13 sep 2016
Paperback
Preț: 315.62 lei 394.52 lei
6-8 săpt.
-20%
Verification, Model Checking, and Abstract Interpretation
Editat de Deepak D'Souza et al.
7 ian 2015
Paperback
Preț: 330.79 lei 413.49 lei
6-8 săpt.
-20%
Reactive Systems: Modelling, Specification and Verification
Autor Luca Aceto et al.
8 aug 2007
Hardback
Preț: 668.51 lei 835.63 lei
6-8 săpt.
-20%