Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings Lecture Notes in Computer Science, nr. 9807 Editat de Jasmin Christian Blanchette et al. 7 aug 2016 Paperback Preț: 343.44 lei 429.30 lei 6-8 săpt. -20%
Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings Lecture Notes in Computer Science, nr. 9154 Editat de Jasmin Christian Blanchette et al. iul 2015 Paperback Preț: 329.26 lei 411.57 lei 6-8 săpt. -20%