Tools and Algorithms for the Construction and Analysis of Systems Editat de Stefan Kowalewski et al. 9 mar 2009 Paperback Preț: 330.15 lei 412.69 lei 6-8 săpt. -20%
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings Lecture Notes in Computer Science, nr. 9995 Editat de John Fitzgerald et al. 8 noi 2016 Paperback Preț: 344.30 lei 430.38 lei 6-8 săpt. -20%
Formal Techniques for Distributed Objects, Components, and Systems Lecture Notes in Computer Science Editat de Mohammad Reza Mousavi et al. 12 iun 2022 Paperback Preț: 424.26 lei 530.32 lei 3-5 săpt. | 7-13 zile -20%