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