Automated Verification of Concurrent Search Structures
Edición de la obra Automated Verification of Concurrent Search Structures
| Autor | Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies |
|---|---|
| Editorial | Morgan & Claypool Publishers |
Edición de la obra Automated Verification of Concurrent Search Structures
| Autor | Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies |
|---|---|
| Editorial | Morgan & Claypool Publishers |
| Fecha de publicación |
|---|
| 2021 |
| Idioma | inglés |
|---|
| ISBN-13 | 9781636391298 |
|---|
| Número de Cutter | K92a |
|---|