Automated Verification of Concurrent Search Structures, Siddharth Krishna, Krishna; Nisarg Patel, Patel; Dennis Shasha, Shasha, Springer Nature B.V.

KIRJAUDU

ostoskori

avaa valikko

Automated Verification of Concurrent Search Structures

Krishna Siddharth Krishna, Patel Nisarg Patel, Shasha Dennis Shasha

115,40 €

Springer Nature B.V.
Sivumäärä: 192 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2021, 01.06.2021 (lisätietoa)
Kieli: Englanti

Tuotteella ei tuotekuvausta.

LISÄÄ OSTOSKORIIN

Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen. Seuraa saatavuutta.

Myymäläsaatavuus

Helsinki

Tapiola

Turku

Tampere

Automated Verification of Concurrent Search Structures

Näytä kaikki tuotetiedot

ISBN:

9783031029349

Aihealue:

Ulkomaiset kirjat

Sisäänkirjautuminen

Kirjaudu sisään
Rekisteröityminen

Oma tili

Omat tiedot
Omat tilaukset
Omat laskut

Lisätietoja

Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste