Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings - Programming and Software Engineering - Martin Gogolla - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783642217678 - 22. juni 2011
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Martin Gogolla

Pris
NOK 699

Bestillingsvarer

Forventes levert 22. apr - 2. mai
Legg til iMusic ønskeliste

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt Tyskland, 22. juni 2011
ISBN13 9783642217678
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 205
Mål 155 × 235 × 13 mm   ·   340 g
Språk Fransk  
Redaktør Gogolla, Martin
Redaktør Wolff, Burkhart

Vis alle

Mer med Martin Gogolla