SPIN Model Checking and Software Verification Editat de Klaus Havelund et al. 21 aug 2000 Paperback Preț: 323.31 lei 404.14 lei 43-57 zile -20%