Stock photo: cover may vary
Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint ... Computer Science and General Issues) Paperback - 2014
by Erika Abraham (Editor); Klaus Havelund (Editor)
- Used
A$75.27
A$17.44
Delivery to USA
Standard delivery: 14 to 21 days
More delivery options
Standard delivery: 14 to 21 days
Ships from Phatpocket Limited (Essex, United Kingdom)
Details
- Title Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint ... Computer Science and General Issues)
- Author Erika Abraham (Editor); Klaus Havelund (Editor)
- Binding Paperback
- Condition Used - Good
- Pages 652
- Volumes 1
- Language ENG
- Publisher Springer
- Publication date 2014-03-11
- Illustrated Yes
- Features Illustrated
- Bookseller's Inventory # Z1-Q-025-03129
- ISBN 9783642548611 / 364254861X
- Weight 2.04 lbs (0.93 kg)
- Dimensions 9.21 x 6.14 x 1.35 in (23.39 x 15.60 x 3.43 cm)
- Category Computers - Languages / Programming
- Dewey Decimal Code 004.015
About Phatpocket Limited Essex, United Kingdom
Biblio member since 2006
Phatpocket Limited is a world class secondhand bookstore located in the Hertfordshire countryside in the United Kingdom. We specialize in textbooks across an enormous variety of subjects. We aim to provide a low cost source of high quality textbooks to the academic community. We also have a sizable collection of rare and collectible books.
We are dedicated to providing our customers with the highest standard of customer service in the bookselling business.
Books are usually shipped in 48 hours or less. All of our books have a 14 day no hassle money back guarantee unless stated otherwise in the book's description. Item must be returned in the exact same condition that it was received. Through our work with The Rainbow Centre and other Charity Partners, we have already given hundreds of young people in Sri Lanka and Africa the vital chance to get an education.
Reader reviews for Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint ... Computer Science and General Issues)
Write a review for this book
Important Terms and Guidelines
- Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
- Reviews must be at least 140 characters in length.
- Please do not reveal critical plot elements.
- This is not a help line. Contact customer support if you need help.
Your review must not include:
- Obscenities, discriminatory language, or other insulting language not suitable for public domain
- Advertisements, “spam” content, or references to other products, offers or websites.
- Email addresses, URLs, phone numbers, physical addresses or other contact information.
- Overly critical comments about other reviews or reviewers
- Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
- Availability, price, or alternative ordering/shipping information
