Wow! eBookVerification of Sequential and Concurrent Programs (Texts in Computer Science)
Hardcover: 502 pages
Publisher: Springer (September 30, 2010)
Language: English
ISBN-10: 184882744X
Verification of Sequential and Concurrent Programs
相关推荐
Distributed AI Systems: A practical guide to building scalable training, inference, and serving systems for production AI- Advanced Rust: Exploring Power Features of Rust for Intermediate and Advanced Developers
- Stochastic Calculus: A Practical Introduction
- AI Under Attack: A Practical Guide to Threats, Defenses, and Governance for AI Systems
