Abstraction Refinement for Large Scale Model Checking Autor Chao Wang et al. 20 iul 2006 Hardback Preț: 636.59 lei 748.92 lei 43-57 zile -15%
