https://www.ebooknetworking.net/books_detail-0387691669.html

SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)

Name: SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
Author: Malay Ganai, Aarti Gupta
ISBN: 9780387691664

AuthorMalay Ganai, Aarti Gupta

PublisherSpringer

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

Buy New on Amazon 🇮🇳

Book Details

Author(s)Malay Ganai, Aarti Gupta

PublisherSpringer

ISBN / ASIN0387691669

ISBN-139780387691664

MarketplaceIndia 🇮🇳