Formal Methods and Software Engineering Editat de Kazuhiro Ogata et al. 29 noi 2024 Paperback Preț: 452.64 lei 565.80 lei 38-45 zile -20%
Software Fault Prevention, Verification, and Validation Editat de Yuting Chen et al. mar 2026 Paperback Preț: 417.74 lei 491.45 lei Nepublicat încă -15% Precomandă
Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers Lecture Notes in Computer Science, nr. 8332 Editat de Shaoying Liu et al. 11 mar 2014 Paperback Preț: 315.31 lei 394.14 lei 6-8 săpt. -20%