No products in the cart.
Return to shop
Showing all 2 results
eBook PDF
Local Proofs for Linear-Time Properties of Concurrent Programs 1st edition by Ariel Cohen, Kedar Namjoshi ISBN 3540705437 9783540705437
Monitoring Atomicity in Concurrent Programs 1st edition by Azadeh Farzan, Madhusudan ISBN 3540705437 9783540705437
Username or email address *Required
Password *Required
Remember me Log in
Lost your password?
