| TÃtulo : |
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers |
| Tipo de documento: |
documento electrónico |
| Autores: |
Bogomolov, Sergiy, ; Martel, Matthieu, ; Prabhakar, Pavithra, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2017 |
| Número de páginas: |
VII, 107 p. 21 ilustraciones |
| ISBN/ISSN/DL: |
978-3-319-54292-8 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Idioma : |
Inglés (eng) |
| Palabras clave: |
Ciencias de la Computación IngenierÃa de software Red de computadoras TeorÃa de las máquinas Software de la aplicacion Inteligencia artificial Lógica informática y fundamentos de la programación. Redes de comunicación informática Lenguajes formales y teorÃa de los autómatas Aplicaciones informáticas y de sistemas de información |
| Clasificación: |
40.151 |
| Resumen: |
Este libro constituye las actas arbitradas del 9º Taller Internacional sobre Verificación de Software Numérico, NSV 2016, celebrado en Toronto, ON, Canadá, en julio de 2011, ubicado junto con CAV 2016, la 28ª Conferencia Internacional sobre Verificación Asistida por Computadora. El taller NSV está dedicado al desarrollo de técnicas lógicas y matemáticas para el razonamiento sobre programabilidad y confiabilidad. |
| Nota de contenido: |
Verification and validation of global properties, -- Implementation of numerical techniques on modern hardware -- Development and analysis of cyber-physical systems (CPS). |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers [documento electrónico] / Bogomolov, Sergiy, ; Martel, Matthieu, ; Prabhakar, Pavithra, . - 1 ed. . - [s.l.] : Springer, 2017 . - VII, 107 p. 21 ilustraciones. ISBN : 978-3-319-54292-8 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés ( eng)
| Palabras clave: |
Ciencias de la Computación IngenierÃa de software Red de computadoras TeorÃa de las máquinas Software de la aplicacion Inteligencia artificial Lógica informática y fundamentos de la programación. Redes de comunicación informática Lenguajes formales y teorÃa de los autómatas Aplicaciones informáticas y de sistemas de información |
| Clasificación: |
40.151 |
| Resumen: |
Este libro constituye las actas arbitradas del 9º Taller Internacional sobre Verificación de Software Numérico, NSV 2016, celebrado en Toronto, ON, Canadá, en julio de 2011, ubicado junto con CAV 2016, la 28ª Conferencia Internacional sobre Verificación Asistida por Computadora. El taller NSV está dedicado al desarrollo de técnicas lógicas y matemáticas para el razonamiento sobre programabilidad y confiabilidad. |
| Nota de contenido: |
Verification and validation of global properties, -- Implementation of numerical techniques on modern hardware -- Development and analysis of cyber-physical systems (CPS). |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsqueda
