Model Checking, Synthesis, and Learning Lecture Notes in Computer Science, nr. 13030 Editat de Ernst-Rüdiger Olderog et al. 22 noi 2021 Paperback Preț: 389.85 lei 487.32 lei 22-36 zile | 6-12 zile -20%
Dependable Software Engineering: Theories, Tools, and Applications Lecture Notes in Computer Science, nr. 9409 Editat de Xuandong Li et al. 27 oct 2015 Paperback Preț: 324.22 lei 405.27 lei 43-57 zile -20%