Humburger Icon
Logo1
close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Menu
Close

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Fabio Somenzi

Fabio Somenzi

10 results found
List viewGrid view
Sort By:
1.
Logic Synthesis and Verification Algorithms37 %
Logic Synthesis and Verification Algorithms
By: Fabio Somenzi, Gary D. Hachtel
Publisher: Kluwer Academic Publishers
No Review Yet
₹10,034
₹6,321
Binding:
Hardback
Release:
30 Jun 1996
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms
By: Fabio Somenzi, Gary D. Hachtel
Publisher: Springer-Verlag New York Inc.
No Review Yet
₹5,523
Binding:
Paperback
Release:
18 Mar 2013
Language:
English
Available
Ships within 8-10 Days Explain..
3.
Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking
By: Fabio Somenzi, Chao Wang, Gary D. Hachtel
Publisher: Springer-Verlag New York Inc.
No Review Yet
₹1,830
Binding:
Hardback
Release:
20 Jul 2006
Language:
English
Available
Ships within 8-10 Days Explain..
4.
Abstraction Refinement for Large Scale Model Checking37 %
Abstraction Refinement for Large Scale Model Checking
By: Fabio Somenzi, Chao Wang, Gary D. Hachtel
Publisher: Springer-Verlag New York Inc.
No Review Yet
₹12,504
₹7,878
Binding:
Paperback
Release:
06 Dec 2014
Language:
English
Available
Ships within 14-16 Days Explain..
5.
Computer Aided Verification36 %
Computer Aided Verification
By: Fabio Somenzi, Warren A. Hunt, Jr.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,574
₹3,567
Binding:
Paperback
Release:
27 Jun 2003
Language:
English
Available
Ships within 14-16 Days Explain..
6.
Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking
By: Fabio Somenzi, Chao Wang, Gary D. Hachtel
Publisher: Springer-Verlag New York Inc.
No Review Yet
₹8,502
Binding:
Digital (delivered electronically)
Release:
01 Jan 2006
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
7.
Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking
By: Fabio Somenzi, Chao Wang, Gary D Hachtel
Publisher: Springer
No Review Yet
₹2,201
Binding:
Hardback
Release:
30 Aug 2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
8.
Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking
By: Fabio Somenzi, Chao Wang, Gary D Hachtel
Publisher: Springer Us
No Review Yet
₹14,460
Binding:
Undefined
Release:
01 Jan 2006
Out of Stock
Notify me when this book is in stockNotify Me
9.
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms
By: Fabio Somenzi, Gary D. Hachtel
Publisher: Springer-Verlag New York Inc.
No Review Yet
₹2,200
Binding:
Paperback
Release:
10 Feb 2006
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms
By: Fabio Somenzi (University of Colorado, Boulder, USA), Gary D. Hachtel (University of Colorado, Boulder, USA)
Publisher: Kluwer Academic Publishers Group
No Review Yet
₹7,731
Binding:
Digital online
Release:
30 Jun 1996
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA