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%
Cărți de Kim Guldstrand Larsen
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%