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%