Abstraction Refinement for Large Scale Model Checking Autor Chao Wang et al. 20 iul 2006 Hardback Preț: 636.59 lei 748.92 lei 6-8 săpt. -15%
