Model Checking Software Editat de Dragan Bošnački et al. 21 iun 2007 Paperback Preț: 321.17 lei 401.46 lei 43-57 zile -20%