Loading edition detail...
Preparing this view.
Join BookitisSave favorites, build lists, and follow creators.
Preparing this view.
Siddharth Krishna, Nisarg Patel, Dennis Elliott Shasha, Thomas Wies
This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.
| Publisher | Morgan & Claypool Publishers |
|---|---|
| Pages | 188 |
| Search language | english |
| ISBN_13 | 978-1-636-39128-1 primary |
Publication-specific alternatives linked to the same work.
Automated Verification of Concurrent Search Structures
Automated Verification of Concurrent Search Structures