No products in the cart.
Return to shop
Showing all 2 results
eBook PDF
Proving Conditional Termination 1st edition by Byron Cook, Sumit Gulwani, Tal Lev Ami, Andrey Rybalchenko, Mooly Sagiv ISBN 3540705437 9783540705437
Scalable Shape Analysis for Systems Code 1st edtion by Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter O’Hearn ISBN 3540705437 9783540705437
Username or email address *Required
Password *Required
Remember me Log in
Lost your password?
