Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings Lecture Notes in Computer Science, nr. 10869 Editat de María del Mar Gallardo et al. 17 iun 2018 Paperback Preț: 333.23 lei 416.54 lei 6-8 săpt. -20%
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers Lecture Notes in Computer Science, nr. 4916 Editat de Stefan Leue et al. 19 mai 2008 Paperback Preț: 329.63 lei 412.03 lei 6-8 săpt. -20%