FM 2015: Formal Methods Lecture Notes in Computer Science, nr. 9109 Editat de Nikolaj Bjørner et al. 2 iun 2015 Paperback Preț: 352.49 lei 440.61 lei 6-8 săpt. -20%