电子书百科大全 Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)
ISBN-10: 144194981X
ISBN-13: 9781441949813
Edition: Softcover reprint of the original 1st ed. 2000
Release: December 9, 2010
Paperback: 337 pages
List Price $379.00
Computer-Aided Reasoning: ACL2 Case Studies
未经允许不得转载：电子书百科大全 » Computer-Aided Reasoning: ACL2 Case Studies
相关推荐
- 100 Facts About Artificial Intelligence: English to Spanish (100 Facts Language Learning Series) (Spanish Edition)
- Cyber Security From Beginner To Expert Cyber Security Made Easy For Absolute Beginners
- SPSS For Beginners: An Illustrative Step-by-Step Approach to Analyzing Statistical data
- Learn to Code: Learn HTML, CSS and JavaScript and build a website, an app and a game
- Pro Angular 16
- Oracle Linux Cookbook: Embrace Oracle Linux and master Linux Server management
- Developing Blockchain Solutions in the Cloud: Design and develop blockchain-powered Web3 apps on AWS, Azure, and GCP
- Android Programming for Beginners: Learn All the Java and Android Skills You Need to Start Making Powerful Mobile Applications