Name: Tests and Proofs: 11th International Conference, Tap 2017, Held as Part of Staf 2017, Marburg, Germany, July 19-20, 2017, Proceedings (en Inglés)
Price: 268.19 PEN
Availability: InStock
Author: Gabmeyer, Sebastian ; Johnsen, Einar Broch
ISBN: 9783319614663

portada Tests and Proofs: 11th International Conference, Tap 2017, Held as Part of Staf 2017, Marburg, Germany, July 19-20, 2017, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Gabmeyer, Sebastian ; Johnsen, Einar Broch

Idioma

Inglés

N° páginas

163

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.0 cm

Peso

0.25 kg.

ISBN13

9783319614663

Categorías

Hardware | soporte físico del ordenador
Programación informática - desarrollo de software

Tests and Proofs: 11th International Conference, Tap 2017, Held as Part of Staf 2017, Marburg, Germany, July 19-20, 2017, Proceedings (en Inglés)

Gabmeyer, Sebastian ; Johnsen, Einar Broch (Autor) · Springer · Tapa Blanda

Libro Nuevo

S/ 268,19

S/ 536,38

Ahorras: S/ 268,19

50% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 05 de Agosto y el Lunes 19 de Agosto.

Lo recibirás en cualquier lugar de Perú entre 2 y 5 días hábiles luego del envío.

Reseña del libro "Tests and Proofs: 11th International Conference, Tap 2017, Held as Part of Staf 2017, Marburg, Germany, July 19-20, 2017, Proceedings (en Inglés)"

This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.