Tu configuración de privacidad

Al seleccionar "Aceptar todas", permites que Rakuten Kobo y sus socios usen cookies, el seguimiento y otras tecnologías para recopilar tus datos personales y tratarlos para los siguientes fines: operar el sitio web y los servicios Kobo y garantizar que funcionen correctamente; ofrecerte contenido personalizado en Kobo y anuncios de Kobo en otras plataformas, y medir los análisis y analizar cómo se utiliza nuestro sitio web y nuestros servicios. Si no lo permites, haz clic en "Rechazar" a continuación para rechazar todos los fines no esenciales o consulta "Configuración de privacidad" para administrar tus preferencias para cada fin. Para obtener más información, consulta nuestra Política de privacidad.

Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II eBook de

Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Sinopsis

Acerca de este libro

  • Idioma:English
  • ISBN:9783030532918
  • Fecha de lanzamiento:15 jul 2020
  • Editorial:Springer International Publishing
  • Edición:Springer
  • Formato de archivo:EPUB3
  • Tamaño de archivo:41.52 MB
  • Opciones de descarga:EPUB3 (Adobe DRM)

En esta serie

Computer Aided Verification

Shuvendu K. Lahiri,Chao Wang