Leveraging Applications of Formal Methods, Verification, and Validation Communications in Computer and Information Science, nr. 336 Editat de Reiner Hähnle et al. 12 oct 2012 Paperback Preț: 326.65 lei 408.31 lei 43-57 zile -20%