Bookbot
The book is currently out of stock

An execution trace verification method on linearizability

Book purchase

An execution trace verification method on linearizability, Kristijan Dragičević

Language
Released
2011
We’ll notify you via email once we track it down.

Payment methods