| Author | Aarti Gupta, Malay Ganai |
| Format | Hardcover |
| ISBN | 9780387691664 |
| Publisher | Springer-Verlag New York Inc. |
| Manufacturer | Springer-verlag New York Inc. |
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.
Loading similar products...
Stay informed about the best deals and price drops. Choose which notifications you'd like to receive from PriceCheck.
Free easy-to-follow course for anyone in South Africa who wants to learn how to start a digital business.