Automated Verification of Concurrent Search Structures
Autor Siddharth Krishna et al.
iun 2021
Paperback
Preț: 402.16 lei
6-8 săpt.
Cărți de Nisarg Patel
Sustained Simulation Performance 2016: Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2016
Editat de Michael M. Resch et al.
5 dec 2016
Hardback
Preț: 617.25 lei 726.17 lei
6-8 săpt.
-15%
Sustained Simulation Performance 2014: Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2014
Editat de Michael M. Resch et al.
12 dec 2014
Hardback
Preț: 619.61 lei 728.96 lei
6-8 săpt.
-15%