Miles de libros con descuentos a un sólo clic - 50% de dto  Ver más

Enviar a
Montevideo, Montevideo
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada Runtime Verification: 17th International Conference, RV 2017, Seattle, Wa, Usa, September 13-16, 2017, Proceedings (en Inglés)
Formato
Libro Físico
Editorial
Autor
Idioma
Inglés
N° páginas
432
Encuadernación
Tapa Blanda
Dimensiones
23.4 x 15.6 x 2.3 cm
Peso
0.63 kg.
ISBN13
9783319675305
Categorías

Runtime Verification: 17th International Conference, RV 2017, Seattle, Wa, Usa, September 13-16, 2017, Proceedings (en Inglés)

Lahiri, Shuvendu ; Reger, Giles (Autor) · Springer · Tapa Blanda

Runtime Verification: 17th International Conference, RV 2017, Seattle, Wa, Usa, September 13-16, 2017, Proceedings (en Inglés) - Lahiri, Shuvendu ; Reger, Giles

Libro Nuevo Importado
Envío: 21 a 27 días háb.
$ 4.445$ 2.223
-50%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan 100 unidades

$ 2.223
Llega entre el 26 Ago y el 03 Sep a Montevideo, Montevideo. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "Runtime Verification: 17th International Conference, RV 2017, Seattle, Wa, Usa, September 13-16, 2017, Proceedings (en Inglés)"

This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017. The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were carefully reviewed and selected from 58 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

¿Cuál es la encuadernación de este libro?

La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes