Wow! eBook
Automated Verification of Concurrent Search Structures
Author(s): Nisarg Patel (author) Siddharth Krishna (author) (Author)
- Publisher: Morgan & Claypool Publishers
- Publication Date: 30 Jun. 2021
- Language: English
- Print length: 188 pages
- ISBN-10: 1636391281
- ISBN-13: 9781636391281
Book Description
null
