
Automated Verification of Concurrent Search Structures
Automated Verification of Concurrent Search Structures Siddharth Krishna,Microsoft Research,Cambridge, Nisarg Patel,New ...

Automated Verification of Concurrent Search Structures Siddharth Krishna,Microsoft Research,Cambridge, Nisarg Patel,New ...
Cambridge University (1 July 2021) | English
Cambridge University (23 April 2020) | English | 9781108455145
Cambridge University (24 May 2018) | English | 9781107177901
Cambridge University (10 Jun. 2021) | English | 9781108842952
Cambridge University (7 Jun. 2018) | English | 9781316518960
Cambridge Scholars ; 1st edition (June 1,2020) | English | 9781527548138
Cambridge University ; 1st edition (October 22,2020) | English | 9781108427135
Cambridge University (February 4,2021) | English | 9781108705004
Currency; 1st edition (September 14,2010) | English | 9780307591548