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.​

Ver Configuración de privacidad
Saltar al contenido principal
Lista de deseos
Cesta
Crear cuenta
¿Tienes cuenta?Iniciar sesión
Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers eBook de

Numerical Software Verification

9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Sergiy Bogomolov,Matthieu Martel,Pavithra Prabhakar
Springer Nature Proceedings Computer Science

Sinopsis

Categorías

Acerca de este libro

  • Idioma:English
  • ISBN:9783319542928
  • Fecha de lanzamiento:17 feb 2017
  • Editorial:Springer International Publishing
  • Edición:Springer
  • Formato de archivo:EPUB2
  • Tamaño de archivo:1.51 MB
  • Opciones de descarga:EPUB2 (Adobe DRM)

En esta serie

Saltar esta lista

Formal Modeling and Analysis of Timed Systems

Sergiy Bogomolov,David Parker