Automated Verification of Concurrent Search Structures
Autor Siddharth Krishna et al.
iun 2021
Paperback
Preț: 411.08 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ț: 631.23 lei 742.62 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ț: 633.64 lei 745.46 lei
6-8 săpt.
-15%