All Departments
Hi
ALL DEPARTMENTS
Daily
deals
My Orders
Wishlist
Help
Sell On Loot
Arts & Crafts
Baby
Books
Computers
DIY & Tools
Electronics
Fashion
Fragrances
Games
Garden
Health & Beauty
Home
Kitchen & Appliances
Movies & TV
Music
Outdoor
Pets
Sport
Stationery & Office
Toys
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
MIT Press
Now Publishers Inc
Springer-Verlag
Filter Results
Showing 4 Results in All Departments
Relevance
SAVE
R
292
Principles of Abstract Interpretation (Hardcover)
Patrick Cousot
List Price
R
2,463
R
2,171
Add to Cart
Ships in 9 - 15 working days
Static Analysis and Verification of Aerospace Software by Abstract Interpretation (Paperback)
Julien Bertrane
,
Patrick Cousot
,
Radhia Cousot
,
Jerome Feret
,
Laurent Mauborgne
,
Antoine Mine
,
Xavier Rival
List Price
R
2,166
R
2,141
Add to Cart
Ships in 10 - 15 working days
Static Analysis - 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings (Paperback, 2001 ed.)
R
1,757
Add to Cart
Ships in 10 - 15 working days
Static Analysis - Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings (Paperback, 1993 ed.)
R
1,662
Add to Cart
Ships in 10 - 15 working days