Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings - Programming and Software Engineering - Martin Gogolla - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783642217678 - June 22, 2011

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

Martin Gogolla

Price
$ 102.49
Expected to be ready for shipping Oct 19 - 26

Our customers say:


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

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 Tyskland, 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

Show all

More by Martin Gogolla