Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings Lecture Notes in Computer Science, nr. 12389 Editat de David Pichardie et al. 13 ian 2021 Paperback Preț: 469.96 lei 587.44 lei 6-8 săpt. -20%
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings Lecture Notes in Computer Science, nr. 7998 Editat de Sandrine Blazy et al. 19 iul 2013 Paperback Preț: 336.06 lei 420.08 lei 6-8 săpt. -20%