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