Automated Verification of Concurrent Search Structures - Couverture souple

Krishna, Siddharth; Patel, Nisarg; Shasha, Dennis; Wies, Thomas

 
9781636391281: Automated Verification of Concurrent Search Structures
Couverture souple
ISBN 10 : 1636391281 ISBN 13 : 9781636391281
Editeur : Morgan & Claypool Publishers, 2021

Synopsis

null

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Morgan & Claypool Publishers
Date d'édition
2021
Langue
anglais
ISBN 10 
1636391281
ISBN 13 
9781636391281
Reliure
Broché
Nombre de pages
188
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9781636391304: Automated Verification of Concurrent Search Structures

Edition présentée

ISBN 10 :  1636391303 ISBN 13 :  9781636391304
Editeur : Morgan & Claypool Publishers, 2021
Couverture rigide