10% de desconto

Automated Verification Of Concurrent Search Structures eBook

de Dennis Shasha, Thomas Wies, Nisarg Patel e Siddharth Krishna
idioma: inglês
Editor: Springer Nature Switzerland, maio de 2022 ‧
66,24€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para 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

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

Propriedade Descrição
ISBN: 9783031018060
Editor: Springer Nature Switzerland
Data de Lançamento: maio de 2022
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Synthesis Lectures On Computer Science
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
eBooks em Inglês > Informática > Outras Aplicações
EAN: 9783031018060

LIVROS DA MESMA COLEÇÃO