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%
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings Lecture Notes in Computer Science, nr. 6371 Editat de Stefan Kowalewski et al. 9 sep 2010 Paperback Preț: 318.67 lei 398.33 lei 3-5 săpt. -20%