Esta es nuestra librería de Chile.

Parece que estás en Estados Unidos. Para comprar en nuestra librería de Chile necesitas una dirección Chile. Ve a nuestra librería de Estados Unidos para continuar.

Ir a la librería de Estados UnidosElegir otra librería
Saltar al contenido principal
Lista de deseos
Cesta
Crear cuenta
¿Tienes cuenta?Iniciar sesión
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings eBook de

Runtime Verification

19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Bernd Finkbeiner,Leonardo Mariani
Springer Nature Proceedings Computer Science

Sinopsis

Categorías

Acerca de este libro

  • Idioma:English
  • ISBN:9783030320799
  • Fecha de lanzamiento:5 oct 2019
  • Editorial:Springer International Publishing
  • Edición:Springer
  • Formato de archivo:EPUB3
  • Tamaño de archivo:22.06 MB
  • Opciones de descarga:EPUB3 (Adobe DRM)

En esta serie

Saltar esta lista

Automated Technology for Verification and Analysis

Bernd Finkbeiner,Geguang Pu,Lijun Zhang

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner,Thomas Wies

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner,Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner,Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner,Laura Kovács