Siddharth Krishna
Automated Verification of Concurrent Search Structures
Siddharth Krishna, Nisarg Patel, Dennis Elliott Shasha, Thomas Wies · 2021
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonBook details
- Year
- 2021
- Language
- English
- Publisher
- Morgan & Claypool Publishers
- Editions
- 3
- Pages
- 188
- ISBN
- 9781636391281
Data source: Wikidata