10% de desconto

Automated Verification Of Concurrent Search Structures

de Dennis Shasha, Thomas Wies, Nisarg Patel e Siddharth Krishna
idioma: inglês
Editor: Springer International Publishing AG, junho de 2021 ‧
50,01€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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: 9783031006784
Editor: Springer International Publishing AG
Data de Lançamento: junho de 2021
Idioma: Inglês
Dimensões: 191 x 235 x 20 mm
Encadernação: Capa mole
Páginas: 182
Tipo de produto: Livro
Coleção: Synthesis Lectures On Computer Science
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
Livros em Inglês > Outros
EAN: 9783031006784

LIVROS DA MESMA COLEÇÃO