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%
Formal Methods and Software Engineering Editat de Jim Davies et al. 28 oct 2004 Paperback Preț: 635.14 lei 793.93 lei 6-8 săpt. -20%
Model-Driven Engineering Languages and Systems Lecture Notes in Computer Science, nr. 8767 Editat de Juergen Dingel et al. 22 sep 2014 Paperback Preț: 357.19 lei 446.49 lei 6-8 săpt. -20%
Fields of Logic and Computation II Lecture Notes in Computer Science, nr. 9300 Editat de Lev D. Beklemishev et al. 27 aug 2015 Paperback Preț: 336.75 lei 420.93 lei 6-8 săpt. -20%