+ wishlist Automated Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science) [9783031006784] Add to Cart The item has been added Author: Siddharth Krishna Nisarg Patel Dennis Shasha Thomas Wies Automated Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science) [9783031006784] Buy More - Save More. Below are the available bulk discount rates for each individual item when you purchase a certain amount Quantity Price Savings 25 - 49 12% 50 - 99 13% 100+ 14% List Price As Low as $59.99 Format: Paperback
