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