Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Integrated Circuits and Systems Ser.: SAT-Based Scalable Formal Verification Solutions by Aarti Gupta and Malay Ganai (2010, Trade Paperback)
BOOKS etc. (565444)
99.6% positive Feedback
Price:
£77.83
Free postage
Returns:
60 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Condition:
ISBN-13: 9781441943415, 978-1441943415. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors. This book provides algorithmic details and engineering insights into devising scalable approaches for an effective realization.
- Buy it nowSAT-Based Scalable Formal Verification Solutions - 9781441943415
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherSpringer
ISBN-101441943412
ISBN-139781441943415
eBay Product ID (ePID)97883040
Product Key Features
Number of PagesXxx, 330 Pages
Publication NameSat-Based Scalable Formal Verification Solutions
LanguageEnglish
Publication Year2010
SubjectCad-Cam, Electronics / Circuits / General, Electrical
TypeTextbook
AuthorAarti Gupta, Malay Ganai
Subject AreaComputers, Technology & Engineering
SeriesIntegrated Circuits and Systems Ser.
FormatTrade Paperback
Dimensions
Item Weight19.4 oz.
Item Length9.3 in
Item Width6.1 in
Additional Product Features
Intended AudienceScholarly & Professional
All listings for this product
Be the first to write a review
