Applied Formal Verification by Douglas L. Perry, Harry Foster Published in April 29, 2005, McGraw-Hill Professional Applied Formal Verification Douglas L. Perry, Harry Foster Change Cover Language: English ISBN 10: 007144372X ISBN 13: 9780071443722
description edit First sentence: The number of transistors that can be contained on a silicon device continues to increase year after year. Table of contents edit No table of contents available Add it!
No table of contents available Add it!
Add it!
![]](/static/images/flourish.gif)