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.

Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings eBook de

Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

Sinopsis

Acerca de este libro

  • Idioma:English
  • ISBN:9783031742347
  • Fecha de lanzamiento:12 oct 2024
  • Editorial:Springer Nature Switzerland
  • Edición:Springer
  • Formato de archivo:EPUB3
  • Tamaño de archivo:28.78 MB
  • Opciones de descarga:EPUB3 (Adobe DRM)

En esta serie

Theoretical Aspects of Computing – ICTAC 2023

Erika Ábrahám,Clemens Dubslaff,Silvia Lizeth Tapia Tarifa

Quantitative Evaluation of Systems

Erika Ábrahám,Marco Paolieri

Integrated Formal Methods

Erika Ábrahám,Marieke Huisman