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ț: 332.42 lei 415.53 lei 6-8 săpt. -20%