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ț: 327.95 lei 409.93 lei 6-8 săpt. -20%
Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings Lecture Notes in Computer Science, nr. 1837 Editat de Roland Backhouse et al. 21 iun 2000 Paperback Preț: 331.25 lei 414.07 lei 6-8 săpt. -20%