Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings (Lecture Notes in Computer Science, 9762). Este artículo no está disponible.
Idioma: inglés
Editorial: Springer, 2016
- Tapa blanda
- Nuevo
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Vendedor de IberLibro desde 25 de marzo de 2015
Condición: Nuevo
EUR 69,15
Descripción del artículo del vendedor
In English.
N° de ref. del artículo ria9783319411347_new
- Título
- Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings (Lecture Notes in Computer Science, 9762)
- Editorial
- Springer
- Año de publicación
- 2016
- Estado
- New
- Encuadernación
- Encuadernación de tapa blanda
- Idioma
- inglés
- ISBN 10
- 3319411349
- ISBN 13
- 9783319411347
- Peso del artículo
- 431 gramos
This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. 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.
“Sinopsis” puede pertenecer a otra edición de este título.
De la contraportada
“Acerca de” puede pertenecer a otra edición de este título.