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
相关推荐
3GE Collection on Computer Science: Artificial Intelligence and Applications- Algointelligence: A Critical Study Of Artificial Intelligence
- Blind Quantum Artificial Intelligence-Powered Cybersecurity
- Engineering AI Applications: A Hands-On Guide to Building Production-Grade Systems with Foundation Models PublishDrive
