Static Analysis Lecture Notes in Computer Science, nr. 12389 Editat de David Pichardie et al. 13 ian 2021 Paperback Preț: 482.83 lei 603.53 lei 6-8 săpt. -20%
Interactive Theorem Proving Editat de Sandrine Blazy et al. 19 iul 2013 Paperback Preț: 346.34 lei 432.92 lei 6-8 săpt. -20%