All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
Kluwer Academic Publishers
Springer-Verlag New York
Filter Results
Showing 5 of 5 Results in All Departments
Relevance
Abstraction Refinement for Large Scale Model Checking (Hardcover, 2006 ed.)
Chao Wang
,
Gary D. Hachtel
,
Fabio Somenzi
R
3,120
Add to Cart
Ships in 10 - 15 working days
Logic Minimization Algorithms for VLSI Synthesis (Hardcover, 1984 ed.)
Robert K. Brayton
,
Gary D. Hachtel
,
C. McMullen
,
Alberto L. Sangiovanni-Vincentelli
R
5,270
Add to Cart
Ships in 12 - 17 working days
Abstraction Refinement for Large Scale Model Checking (Paperback, 2006 ed.)
Chao Wang
,
Gary D. Hachtel
,
Fabio Somenzi
R
3,780
Add to Cart
Ships in 10 - 15 working days
Logic Synthesis and Verification Algorithms (Paperback, Softcover reprint of the original 1st ed. 1996)
Gary D. Hachtel
,
Fabio Somenzi
R
2,888
Add to Cart
Ships in 10 - 15 working days
Logic Minimization Algorithms for VLSI Synthesis (Paperback, Softcover reprint of the original 1st ed. 1984)
Robert K. Brayton
,
Gary D. Hachtel
,
C. McMullen
,
Alberto L. Sangiovanni-Vincentelli
R
5,306
Add to Cart
Ships in 10 - 15 working days