Formal Methods for Executable Software Models Lecture Notes in Computer Science, nr. 8483 Editat de Marco Bernardo et al. 21 mai 2014 Paperback Preț: 337.80 lei 422.24 lei 43-57 zile -20%
