30% OFF

Automated Verification Of Concurrent Search Structures

by Dennis Shasha, Thomas Wies, Nisarg Patel e Siddharth Krishna
language: english
Publisher: Springer International Publishing AG, June of 2021 ‧
50,01€
35,01€
30% OFF
free shipping
Sell ​​your book
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: 9783031006784
Publisher: Springer International Publishing AG
Release Date: June of 2021
Language: English
Dimensions: 191 x 235 x 20 mm
Cover: Softcover
Pages: 182
Format: Book
Collection: Synthesis Lectures On Computer Science
Categories: Books in English > Science > Mathematics
Books in English > Others
EAN: 9783031006784

BOOKS FROM THE SAME COLLECTION