FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings Lecture Notes in Computer Science, nr. 6664 Editat de Michael Butler et al. 16 iun 2011 Paperback Preț: 329.74 lei 412.17 lei 3-5 săpt. -20%