Numerical Software Verification / Bogomolov, Sergiy ; Martel, Matthieu ; Prabhakar, Pavithra  

Público ISBD Ningún comentario para este registro. 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. 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 Índice Dewey: 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). En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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. 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 Índice Dewey: 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). En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

---

1 (1 - 1 / 1) Por página: 25 50 100 200