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 3-5 săpt. | 4-10 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 6-8 săpt. -20%