Formal Methods for Executable Software Models Lecture Notes in Computer Science, nr. 8483 Editat de Marco Bernardo et al. 21 mai 2014 Paperback Preț: 324.82 lei 406.03 lei 6-8 săpt. -20%