Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Matt Kaufmann

Books by author

Matt Kaufmann

Computer-aided reasoning: ACL2 case studies

Computer-aided reasoning: ACL2 case studies

2000 · ENGLISH · DJVU

View details →

Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

2000 · ENGLISH · DJVU

View details →

Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

2000 · ENGLISH · PDF

View details →

Computer-Aided Reasoning: ACL2 Case Studies

Computer-Aided Reasoning: ACL2 Case Studies

2000 · ENGLISH · PDF

View details →

Design and Verification of Microprocessor Systems for High-Assurance Applications

Design and Verification of Microprocessor Systems for High-Assurance Applications

2010 · ENGLISH · PDF

View details →

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

2010 · ENGLISH · PDF

View details →

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

2010 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme