Siddharth Krishna
Automated Verification of Concurrent Search Structures
Siddharth Krishna, Nisarg Patel, Dennis Elliott Shasha, Thomas Wies · 2021
פרטי הספר
- שנה
- 2021
- שפה
- English
- הוצאה
- Morgan & Claypool Publishers
- מהדורות
- 3
- עמודים
- 188
- ISBN
- 9781636391281
מקור הנתונים: Wikidata