Automated Verification of Concurrent Search Structures

Name: Automated Verification of Concurrent Search Structures
Brand: Krishna Siddharth
SKU: 9783031006784
Price: 257.00 PLN
Availability: InStock

Synthesis Lectures on Computer Science

257,00 zł 332,00 zł

Według Krishna Siddharth

Pristatymas gali užtrukti 2-3 sav.

Szybka dostawa

182 psl.

2021 m.

Minkštas viršelis

Kod kreskowy: 9783031006784

Opis

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.

Wyświetl szczegółowe informacje

Automated Verification of Concurrent Search Structures

From Lithuania, with love ❤️

Like you, we love books. And we’ve had this passion since the very beginning.

Every day we strive to grow, improve, and expand our offering so that the books you purchase online reach you in the best possible way: quickly, at an affordable price, and in perfect condition.

All the books you see in our store are in stock and ready to ship.

Newsletter

Bądź na bieżąco z nowościami w katalogu książek.