Abstraction Refinement for Large Scale Model Checking Integrated Circuits and Systems Autor Chao Wang et al. 6 dec 2014 Paperback Preț: 753.11 lei 918.43 lei 6-8 săpt. -18%
