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%
Software Engineering and Formal Methods Lecture Notes in Computer Science, nr. 12310 Editat de Frank de Boer et al. 12 sep 2020 Paperback Preț: 365.71 lei 457.14 lei 6-8 săpt. -20%