Sort by: Relevance
Sort by
Relevance
Price (low to high)
Price (high to low)
Rating
Publication (old to new)
Publication (new to old)
Filters
Sort by: Relevance
Sort by: Relevance
Relevance
Price (low to high)
Price (high to low)
Rating
Publication (old to new)
Publication (new to old)
Filters
5 Products
5 Products Page
of 1
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms
Gary D. Hachtel
Paperback
 
£74.99
Usually dispatched within 3 weeks
Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking
Chao Wang
Hardback
 
£89.99
Usually dispatched within 3 weeks
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms
Gary D. Hachtel
Hardback
 
£79.99
Usually dispatched within 3 weeks
Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking
Chao Wang
Paperback
 
£89.99
Usually dispatched within 3 weeks
Computer Aided Verification
Computer Aided Verification
Warren A. Hunt, Jr.
Paperback
 
£44.99
Usually dispatched within 3 weeks