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)
SKU: 58793312
Price: 156331.00 COP
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)

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.4x15.6x1 cm

Peso

0.25 kg.

ISBN13

9783319614663

Categorías

Hardware (o 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 Importado

Envío: 14 a 20 días háb.

$ 312.662$ 156.331

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 156.331

¡Envío Gratis! Llega entre el 04 Sep y el 15 Sep a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

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.