Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings - Programming and Software Engineering - Martin Gogolla - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642217678 - June 22, 2011
In case cover and title do not match, the title is correct

Martin Gogolla
Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings - Programming and Software Engineering

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Martin Gogolla releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

Publisher Marketing: Constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. This title covers such topics as: model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, and automated test generation.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 22, 2011
ISBN13 9783642217678
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 205
Dimensions 155 × 235 × 13 mm   ·   340 g
Language French  
Editor Gogolla, Martin
Editor Wolff, Burkhart

More by Martin Gogolla

Show all

More from the same publisher

See all of Martin Gogolla ( e.g. Paperback Book )