Integrated Formal Methods Lecture Notes in Computer Science, nr. 8739 Editat de Elvira Albert et al. 15 sep 2014 Paperback Preț: 340.57 lei 425.71 lei 6-8 săpt. -20%
Formal Techniques for Distributed Objects, Components, and Systems Lecture Notes in Computer Science, nr. 9688 Editat de Elvira Albert et al. 27 iun 2016 Paperback Preț: 334.59 lei 418.24 lei 6-8 săpt. -20%
Logic-Based Program Synthesis and Transformation Editat de Elvira Albert 3 mai 2013 Paperback Preț: 426.52 lei 501.79 lei 6-8 săpt. -15%