Model Checking Software Editat de Matthew Dwyer 2 mai 2001 Paperback Preț: 323.44 lei 404.31 lei 43-57 zile -20%