FM 2015: Formal Methods Lecture Notes in Computer Science, nr. 9109 Editat de Nikolaj Bjørner et al. 2 iun 2015 Paperback Preț: 338.95 lei 423.69 lei 43-57 zile -20%
Software Engineering and Formal Methods Editat de Frank de Boer et al. 12 sep 2020 Paperback Preț: 348.60 lei 435.74 lei 43-57 zile -20%