Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings Lecture Notes in Computer Science, nr. 7342 Editat de Jeremy Gibbons et al. 18 iun 2012 Paperback Preț: 324.99 lei 406.23 lei 43-57 zile -20%
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings Lecture Notes in Computer Science, nr. 5846 Editat de Jeremy Gibbons et al. 26 oct 2009 Paperback Preț: 315.48 lei 394.35 lei 43-57 zile -20%