Image from Amazon.com
SAT-Based Scalable Formal Verification Solutions [electronic resource] / by Malay K. Ganai, Aarti Gupta.
Series: Series on Integrated Circuits and SystemsPublication details: Boston, MA : Springer Science+Business Media, LLC, 2007.Description: xxix, 326 p. : ill., digitalISBN:- 9780387691671 (electronic bk.)
- 621.381548 22
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.