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