Model Checking Software Editat de Alex Groce et al. 5 iul 2011 Paperback Preț: 399.77 lei 499.71 lei 43-57 zile -20%