Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Tests and Proofs

Name: Tests and Proofs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658206
Price: 60.49 EUR
Availability: InStock
Author: Martin Gogolla
ISBN: 9783642217678

5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings

Martin Gogolla

Burkhart Wolff

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 01658206

Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 2011

This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proo... Descripción completa

Código Libristo: 01658206

148 b

60.49 €

Almacenamiento externo en pequeñas cantidades Envío en 14-21 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Erkenntnisse und Beschlüsse des Verfassungsgerichtshofes Verfassungsgerichtshof

Libro

346.49 €

Die Frau ohne Schatten Hugo Von Hofmannsthal

Tapa blanda

15.99 €

10 Ideas claves : el aprendizaje creativo Josep Alsina

Tapa blanda

24.89 €

Séries Charlotte Blum

Tapa dura

22.79 €

Galère Football Club Romain Molina

Tapa blanda

10.79 €

Resonancias Tectonicas Pablo Hermansen

Adobe ePub DRM

18.59 €

This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011.§The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. 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.