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%
Formal Methods for Multicore Programming Lecture Notes in Computer Science Editat de Marco Bernardo et al. 19 mai 2015 Paperback Preț: 317.08 lei 396.35 lei 6-8 săpt. -20%