Professional & Technical
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
Professional & Technical
Technology: general issues
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Format
Paperback
Author / Contributor
Doron A. Peled
Yih-Kuen Tsay
Publisher
Springer-Verlag
Filter Results
Showing 1 Results in Professional & Technical
Relevance
Automated Technology for Verification and Analysis - Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Paperback, 2005 ed.)
R
1,800
Add to Cart
Ships in 10 - 15 working days