Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang et al.
20 iul 2006
Hardback
Preț: 623.79 lei 733.88 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ț: 588.51 lei 692.37 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ț: 331.75 lei 414.69 lei
6-8 săpt.
-20%