Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang et al.
20 iul 2006
Hardback
Preț: 642.18 lei 755.51 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ț: 605.85 lei 712.76 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ț: 341.48 lei 426.85 lei
6-8 săpt.
-20%