Electronics - Circuits - Integrated, Logic & Foundations of Mathematics, Computer Mathematics, Electronics - Circuits - VLSI
Current Trends in Hardware Verification and Automated Theorem Proving
Graham Birtwistle, P.A. Subrahmanyam
Available on Bookshop
Write a review
Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.
Log in to track your reading progress.
Editorials
Booknews
Papers based on a workshop on hardware verification held in Banff, Canada, June 1988, provide perspectives on the state of the art. Contains examples of different approaches to hardware verification, current technology and research trends in automated theorem proving systems, and architectures. Annotation c. Book News, Inc., Portland, OR (booknews.com)Book Details
Published
July 31, 2012
Publisher
Springer-Verlag New York, LLC
Pages
499
Format
Paperback
ISBN
9781461281955