电子书百科大全 Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings .. Computer Science and General Issues)
Get this book Contact Email: girro@qq.com
Hardcover: 397 pages
Publisher: Springer (January 8, 2010)
Language: English
ISBN-10: 3642113184
Verification, Model Checking, and Abstract
相关推荐
Mastering Time Series Analysis and Forecasting with Python: Bridging Theory and Practice Through Insights, Techniques, and Tools for Effective Time Series Analysis in Python
The Oxford Handbook of European Romanticism
Context Engineering for Verified Output: Master Getting Verified Consistent Output Through Example Stories
Vectorization: A Practical Guide to Efficient Implementations of Machine Learning Algorithms
High Performance Polymers
The Comprehensive DevOps Interview Guide: Mastering DevOps systems for your successful interview
Speaking in the Medieval World
High Performance Polymers 2nd Edition