Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang et al.
20 iul 2006
Hardback
Preț: 631.37 lei 742.78 lei
6-8 săpt.
-15%
Cărți de Fabio Somenzi
Logic Synthesis and Verification Algorithms
Autor Gary D. Hachtel et al.
18 mar 2013
Paperback
Preț: 595.65 lei 700.77 lei
6-8 săpt.
-15%
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Editat de Warren A. Hunt, Jr. et al.
27 iun 2003
Paperback
Preț: 335.77 lei 419.71 lei
6-8 săpt.
-20%