Automated Verification of Concurrent Search Structures
Siddharth Krishna
Item not Available
Format: Book (Paperback / softback)
£64.50
Item not Available
Book (Paperback / softback)
Automated Verification of Concurrent Search Structures
Siddharth Krishna
Item not Available
Format: Book (Hardback)
£82.95
£82.45
Item not Available
Book (Hardback)