Automated Verification of Concurrent Search Structures
Siddharth Krishna
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£49.99
£37.08
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketAutomated Verification of Concurrent Search Structures
Siddharth Krishna
Download Now
Format: eBook (PDF)