Picture 1 of 1

Stock photo

SAT-Based Scalable Formal Verification Solutions.9781441943415 Free Shipping<| - Picture 1 of 1

SAT-Based Scalable Formal Verification Solutions by Aarti Gupta, Malay Ganai (Paperback, 2010)

baham_books (2654942)

99.5% positive Feedback

Price:

£122.48

Free postage

Estimated delivery Fri, 11 Jul - Fri, 18 Jul

Returns:

30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.

Condition:

New

Publisher: Springer ISBN 13: 9781441943415. Title: SAT-Based Scalable Formal Verification Solutions Item Condition: New. Used-Very Good: The book will be clean without any major stains or markings, the spine will be in excellent shape with only minor creasing, no pages will be missing and the cover is likely to be very clean.

About this product

Product Information

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.