Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang et al.
6 dec 2014
Paperback
Preț: 746.34 lei 910.18 lei
6-8 săpt.
-18%
Cărți de Gary D. Hachtel
Logic Synthesis and Verification Algorithms
Autor Gary D. Hachtel et al.
18 mar 2013
Paperback
Preț: 582.49 lei 685.29 lei
6-8 săpt.
-15%