For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Siddharth Krishna
Siddharth Krishna is the author of "Automated Verification of Concurrent Search Structures".
Books by Siddharth Krishna
View more
Automated Verific...
Krishna, Siddharth
Paperback:
Automated Verific...
Krishna, Siddharth
Paperback:
$69.95
Automated Verific...
Krishna, Siddharth
Hardback:
$89.95
Automated Verific...
Krishna, Siddharth
Hardback: