NASA Formal Methods Lecture Notes in Computer Science, nr. 10227 Editat de Clark Barrett et al. 9 apr 2017 Paperback Preț: 354.52 lei 443.16 lei 6-8 săpt. -20%
