Vinkkaa tuotetta kavereillesi:
Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings - Programming and Software Engineering
Martin Gogolla
Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings - Programming and Software Engineering
Martin Gogolla
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 | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
Julkaisupäivämäärä | keskiviikko 22. kesäkuuta 2011 |
ISBN13 | 9783642217678 |
Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
Sivujen määrä | 205 |
Mitta | 155 × 235 × 13 mm · 340 g |
Kieli | French |
Toimittaja | Gogolla, Martin |
Toimittaja | Wolff, Burkhart |
Lisää tuotteita Martin Gogolla
Katso kaikki joka sisältää Martin Gogolla ( Esim. Paperback Book )