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
Domain Science and Engineering A Foundation for Software Development 1st Edition by Dines Bjørner 30307348389783030734831
Username or email address *Required
Password *Required
Remember me Log in
Lost your password?
