10% OFF

Automated Verification Of Concurrent Search Structures eBook

by Dennis Shasha, Thomas Wies, Nisarg Patel e Siddharth Krishna
language: english
Publisher: Springer Nature Switzerland, May of 2022 ‧
66,24€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
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.

Automated Verification Of Concurrent Search Structures

by Dennis Shasha, Thomas Wies, Nisarg Patel e Siddharth Krishna

Property Description
ISBN: 9783031018060
Publisher: Springer Nature Switzerland
Release Date: May of 2022
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Synthesis Lectures On Computer Science
Categories: eBooks in English > Science > Mathematics
eBooks in English > Computing > Other Applications
EAN: 9783031018060