NASA Formal Methods Lecture Notes in Computer Science, nr. 9690 Editat de Sanjai Rayadurgam et al. 4 iun 2016 Paperback Preț: 410.41 lei 513.01 lei 6-8 săpt. -20%
