Formal Methods for Industrial Critical Systems Lecture Notes in Computer Science, nr. 11687 Editat de Kim Guldstrand Larsen et al. 25 iul 2019 Paperback Preț: 316.03 lei 395.04 lei 6-8 săpt. -20%
