Computer Aided Verification Editat de Thomas Ball et al. 8 aug 2006 Paperback Preț: 638.43 lei 798.03 lei 43-57 zile -20%
Model Checking Software Editat de Thomas Ball et al. 28 apr 2003 Paperback Preț: 320.14 lei 400.17 lei 43-57 zile -20%