search for books and compare prices
cover image
Tests and Proofs: 5th International Conference, TAP 2011 Zurich, Switzerland, June 30 - July 1, 2011 Proceedings
By Burkhart Wolff (editor) and Martin Gogolla (editor)
Price
Store
Arrives
Preparing
Shipping
The price is the lowest for any condition, which may be new or used; other conditions may also be available. Rental copies must be returned at the end of the designated period, and may involve a deposit.
Jump down to see edition details for: Paperback
Bibliographic Detail
Publisher Springer-Verlag New York Inc
Publication date August 30, 2011
Pages 204
Binding Paperback
Book category Adult Non-Fiction
ISBN-13 9783642217678
ISBN-10 3642217672
Dimensions 0.50 by 6 by 9 in.
Weight 0.75 lbs.
Published in Europe
Original list price $89.99
Summaries and Reviews
Amazon.com description: Product Description:

This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011.

The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning-based testing, UML, OCL, specification-based testing, and network testing.



Editions
Paperback
Book cover for 9783642217678
 
The price comparison is for this edition
With Martin Gogolla (other contributor) | from Springer-Verlag New York Inc (August 30, 2011); titled "Tests and Proofs: 5th International Conference, TAP 2011 Zurich, Switzerland, June 30 - July 1, 2011 Proceedings"
9783642217678 | details & prices | 204 pages | 6.00 × 9.00 × 0.50 in. | 0.75 lbs | List price $89.99
About: This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011.

Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.