Automated Verification of Concurrent Search Structures

Automated Verification of Concurrent Search Structures

EnglishHardbackPrint on demand
Shasha Dennis
Morgan & Claypool Publishers
EAN: 9781636391304
Print on demand
Delivery on Tuesday, 21. of January 2025
CZK 2,562
Common price CZK 2,847
Discount 10%
pc
Do you want this product today?
Oxford Bookshop Praha Korunní
not available
Librairie Francophone Praha Štěpánská
not available
Oxford Bookshop Ostrava
not available
Oxford Bookshop Olomouc
not available
Oxford Bookshop Plzeň
not available
Oxford Bookshop Brno
not available
Oxford Bookshop Hradec Králové
not available
Oxford Bookshop České Budějovice
not available
Oxford Bookshop Liberec
not available
EAN 9781636391304
ISBN 1636391303
Binding Hardback
Publisher Morgan & Claypool Publishers
Publication date June 30, 2021
Pages 188
Language English
Dimensions 235 x 191
Country United States
Readership Professional & Scholarly
Authors Shasha Dennis
Series Synthesis Lectures on Computer Science