Free Delivery Over $100
|
|
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Malay Ganai , Aarti GuptaPublisher: Springer Imprint: Springer Dimensions: Width: 23.40cm , Height: 1.90cm , Length: 15.60cm Weight: 0.503kg ISBN: 9780387517568ISBN 10: 0387517561 Pages: 360 Publication Date: 25 August 2008 Audience: General/trade , General Format: Undefined Publisher's Status: Unknown Availability: Out of stock  Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
