Reachability Problems Lecture Notes in Computer Science, nr. 15050 Editat de Laura Kovács et al. 20 sep 2024 Paperback Preț: 430.52 lei 538.16 lei 38-45 zile -20%
Formal Techniques for Distributed Objects, Components, and Systems Lecture Notes in Computer Science, nr. 12136 Editat de Alexey Gotsman et al. 10 iun 2020 Paperback Preț: 418.09 lei 522.61 lei 6-8 săpt. -20%
Model Checking Software Lecture Notes in Computer Science, nr. 12864 Editat de Alfons Laarman et al. 3 aug 2021 Paperback Preț: 330.14 lei 412.68 lei 6-8 săpt. -20%