Formal Methods for Industrial Critical Systems Editat de Stefan Leue et al. 19 mai 2008 Paperback Preț: 319.36 lei 399.20 lei 6-8 săpt. -20%
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ț: 322.93 lei 403.66 lei 6-8 săpt. -20%
Vaivenes del Desencuentro: Between Passion and Pain Autor Pedro Merino et al. 4 oct 2013 Paperback Preț: 119.28 lei 3-5 săpt.