Automated Verification of Concurrent Search Structures - Synthesis Lectures on Computer Science - Siddharth Krishna - Books - Springer International Publishing AG - 9783031006784 - June 1, 2021
In case cover and title do not match, the title is correct

Siddharth Krishna
Automated Verification of Concurrent Search Structures - Synthesis Lectures on Computer Science

Price
$ 59.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 29 - Jun 4

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed access to search structures on multicore and distributed servers.

182 pages, X, 182 p.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 1, 2021
ISBN13 9783031006784
Publishers Springer International Publishing AG
Pages 182
Dimensions 150 × 220 × 10 mm   ·   372 g
Language English  

See all of Siddharth Krishna ( e.g. Paperback Book )