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.

Ver Configuración de privacidad
Saltar al contenido principal
Lista de deseos
Cesta
Crear cuenta
¿Tienes cuenta?Iniciar sesión
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I eBook de

Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Rupak Majumdar,Viktor Kunčak
Springer Nature Proceedings Computer Science

Sinopsis

Categorías

Acerca de este libro

  • Idioma:English
  • ISBN:9783319633879
  • Fecha de lanzamiento:14 jul 2017
  • Editorial:Springer International Publishing
  • Edición:Springer
  • Formato de archivo:EPUB2
  • Tamaño de archivo:10.55 MB
  • Opciones de descarga:EPUB2 (Adobe DRM)

En esta serie

Saltar esta lista

Computer Aided Verification

Rupak Majumdar,Viktor Kunčak