No products in the cart.
Return to shop
Showing the single result
eBook PDF
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses 1st edition by Ariel Cohen, Amir Pnueli, Lenore Zuck ISBN 3540705437 9783540705437
Username or email address *Required
Password *Required
Remember me Log in
Lost your password?
