Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang et al.
20 iul 2006
Hardback
Preț: 617.39 lei 726.35 lei
6-8 săpt.
-15%
Cărți de Fabio Somenzi
Computer Aided Verification
Editat de Jr. Hunt et al.
27 iun 2003
Paperback
Preț: 330.36 lei 412.95 lei
6-8 săpt.
-20%
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%