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.

Lectures on Runtime Verification - Introductory and Advanced Topics eBook de

Lectures on Runtime Verification

Introductory and Advanced Topics

Sinopsis

Acerca de este libro

  • Idioma:English
  • ISBN:9783319756325
  • Fecha de lanzamiento:10 feb 2018
  • Editorial:Springer International Publishing
  • Edición:Springer
  • Formato de archivo:EPUB2
  • Tamaño de archivo:2.58 MB
  • Opciones de descarga:EPUB2 (Adobe DRM)

En esta serie

Formal Methods in Outer Space

Ezio Bartocci,Yliès Falcone,Martin Leucker

From Reactive Systems to Cyber-Physical Systems

Ezio Bartocci,Rance Cleaveland,Radu Grosu,Oleg Sokolsky