Siddharth krishna u a (1 résultats)

Auteur:

Affiner les résultats avec une recherche avancée

Automated Verification of Concurrent Search Structures
Siddharth Krishna (u. a.)
Langue : anglais
Edité par Springer, 2021
303100678X / 9783031006784
- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 54,90
EUR 70,00 expédition
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponibles
Taschenbuch. Etat : Neu. Automated Verification of Concurrent Search Structures | Siddharth Krishna (u. a.) | Taschenbuch | Synthesis Lectures on Computer Science | x | Englisch | 2021 | Springer | EAN 9783031006784 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…