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