Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings - Programming and Software Engineering - Martin Gogolla - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642217678 - 22 de junio de 2011
En caso de que portada y título no coincidan, el título será el correcto

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

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Martin Gogolla

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

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.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 22 de junio de 2011
ISBN13 9783642217678
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 205
Dimensiones 155 × 235 × 13 mm   ·   340 g
Lengua Francés  
Editor Gogolla, Martin
Editor Wolff, Burkhart

Mas por Martin Gogolla

Mostrar todo

Más del mismo editor

Ver todo de Martin Gogolla ( Ej. Paperback Book )