Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang et al.
20 iul 2006
Hardback
Preț: 624.46 lei 734.66 lei
6-8 săpt.
-15%
Cărți de Fabio Somenzi
Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang et al.
6 dec 2014
Paperback
Preț: 753.11 lei 918.43 lei
6-8 săpt.
-18%
Computer Aided Verification
Editat de Jr. Hunt et al.
27 iun 2003
Paperback
Preț: 331.38 lei 414.22 lei
6-8 săpt.
-20%
Logic Synthesis and Verification Algorithms
Autor Gary D. Hachtel et al.
18 mar 2013
Paperback
Preț: 587.77 lei 691.50 lei
6-8 săpt.
-15%