SAT-Based Scalable Formal Verification Solutions
by Malay K. Ganai, Aarti Gupta.
Boston, MA : Springer-Verlag US, 2007.
v.: digital
Serie: Series on Integrated Circuits and Systems, ISSN 1558-9412
ISBN: 9780387691671
Importante! Sobre el catálogo
Boston, MA : Springer-Verlag US, 2007.
v.: digital
Serie: Series on Integrated Circuits and Systems, ISSN 1558-9412
ISBN: 9780387691671