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 43-57 zile -20%