Logic-Based Program Synthesis and Transformation Editat de Elvira Albert 3 mai 2013 Paperback Preț: 410.12 lei 482.49 lei 43-57 zile -15%
Integrated Formal Methods Lecture Notes in Computer Science, nr. 8739 Editat de Elvira Albert et al. 15 sep 2014 Paperback Preț: 327.48 lei 409.36 lei 43-57 zile -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ț: 321.74 lei 402.18 lei 43-57 zile -20%
Fundamental Approaches to Software Engineering Lecture Notes in Computer Science Editat de Corina Pasareanu et al. 20 mai 2026 Paperback Preț: 262.73 lei 328.40 lei Indisponibil temporar -20% Nou