Formal Methods for Industrial Critical Systems Lecture Notes in Computer Science Editat de Kim Guldstrand Larsen et al. 25 iul 2019 Paperback Preț: 315.05 lei 393.82 lei 43-57 zile -20%