Automated Verification of Concurrent Search Structures

Automated Verification of Concurrent Search Structures

3/5
Бірінші жарияланған
2021
Баспагерлер
Morgan & Claypool Publishers
Тіл
English

Кітаптар

Ұқсас кітаптар