No products in the cart.
Return to shop
Showing all 2 results
eBook PDF
A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis 1st edtion by Bhargav Gulavani, Sumit Gulwani ISBN 3540693888 9783540693888
Bindings Mobility of Bindings and the Quantifier An Abstract 1st Edition by Dale Miller ISBN 9783540301240
Username or email address *Required
Password *Required
Remember me Log in
Lost your password?
