Name: Runtime Verification: 4th International Conference, rv 2013, Rennes, France, September 24-27, 2013, Proceedings (Programming and Software Engineering) (en Inglés)
Price: 159865.00 COP
Availability: InStock
Author: Legay Axel,Bensalem Saddek
ISBN: 9783642407864

portada Runtime Verification: 4th International Conference, rv 2013, Rennes, France, September 24-27, 2013, Proceedings (Programming and Software Engineering) (en Inglés)

Runtime Verification: 4th International Conference, rv 2013, Rennes, France, September 24-27, 2013, Proceedings (Programming and Software Engineering) (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Legay Axel,Bensalem Saddek

Idioma

Inglés

N° páginas

443

Encuadernación

Tapa Blanda

ISBN13

9783642407864

N° edición

2013th

Runtime Verification: 4th International Conference, rv 2013, Rennes, France, September 24-27, 2013, Proceedings (Programming and Software Engineering) (en Inglés)

Legay Axel,Bensalem Saddek (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

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

$ 319.729$ 159.865

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 159.865

¡Envío Gratis! Llega entre el 18 Ago y el 27 Ago a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Runtime Verification: 4th International Conference, rv 2013, Rennes, France, September 24-27, 2013, Proceedings (Programming and Software Engineering) (en Inglés)"

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.