Tu configuración de privacidad

Al visitar nuestro sitio web o utilizar los servicios de Kobo, aceptas el uso de cookies y tecnologías de seguimiento similares para i) mejorar la experiencia y la funcionalidad de nuestros servicios, ii) ofrecerte contenido personalizado en las plataformas de Kobo y anuncios de los servicios de Kobo en otras plataformas, y iii) divulgar información sobre tu uso de nuestros servicios a nuestros socios de redes sociales, publicidad y análisis, todo ello según se describe con más detalle en nuestra Política de cookies y tecnologías de seguimiento y en nuestra Política de privacidad. Para administrar tus preferencias, selecciona Configuración de privacidad a continuación.Es posible que te pidamos que ajustes tus preferencias por separado para cada una de las librerías de Kobo y nuestra tienda de eReader, o cuando no estés conectado a tu cuenta Kobo.​

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

Quantitative Evaluation of Systems

Erika Ábrahám,Marco Paolieri

Theoretical Aspects of Computing – ICTAC 2023

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

Integrated Formal Methods

Erika Ábrahám,Marieke Huisman