| Título : |
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Enea, Constantin, ; Piskac, Ruzica, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2019 |
| Número de páginas: |
XVII, 602 p. 1329 ilustraciones, 69 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-11245-5 |
| 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 Lógica informática y fundamentos de la programación Redes de comunicación informática |
| Índice Dewey: |
40.151 |
| Resumen: |
Este libro constituye las actas arbitradas de la 20.ª Conferencia Internacional sobre Verificación, Verificación de Modelos e Interpretación de Resumenes, VMCAI 2019, celebrada en Cascais, Portugal, en enero de 2019. Los 27 artículos completos presentados junto con los resúmenes de 3 charlas magistrales invitadas fueron cuidadosamente revisado y seleccionado entre 62 presentaciones. VMCAI proporciona temas que incluyen: verificación de programas, verificación de modelos, interpretación abstracta, síntesis de programas, análisis estático, sistemas de tipos, métodos deductivos, certificación de programas, procedimientos de decisión, demostración de teoremas, certificación de programas, técnicas de depuración, transformación de programas, optimización e híbridos y cibernéticos. -sistemas físicos. |
| Nota de contenido: |
Program verification -- Model checking -- Abstract interpretation -- Program synthesis -- Static analysis -- Type systems -- Deductive methods -- Program certification -- Decision procedures -- Theorem proving -- Program certification -- Debugging techniques -- Program transformation -- Optimization -- Hybrid and cyber-physical systems. |
| 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 |
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings [documento electrónico] / Enea, Constantin, ; Piskac, Ruzica, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVII, 602 p. 1329 ilustraciones, 69 ilustraciones en color. ISBN : 978-3-030-11245-5 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 Lógica informática y fundamentos de la programación Redes de comunicación informática |
| Índice Dewey: |
40.151 |
| Resumen: |
Este libro constituye las actas arbitradas de la 20.ª Conferencia Internacional sobre Verificación, Verificación de Modelos e Interpretación de Resumenes, VMCAI 2019, celebrada en Cascais, Portugal, en enero de 2019. Los 27 artículos completos presentados junto con los resúmenes de 3 charlas magistrales invitadas fueron cuidadosamente revisado y seleccionado entre 62 presentaciones. VMCAI proporciona temas que incluyen: verificación de programas, verificación de modelos, interpretación abstracta, síntesis de programas, análisis estático, sistemas de tipos, métodos deductivos, certificación de programas, procedimientos de decisión, demostración de teoremas, certificación de programas, técnicas de depuración, transformación de programas, optimización e híbridos y cibernéticos. -sistemas físicos. |
| Nota de contenido: |
Program verification -- Model checking -- Abstract interpretation -- Program synthesis -- Static analysis -- Type systems -- Deductive methods -- Program certification -- Decision procedures -- Theorem proving -- Program certification -- Debugging techniques -- Program transformation -- Optimization -- Hybrid and cyber-physical systems. |
| 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 |
|  |
Hacer una sugerencia Refinar búsqueda20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings / Enea, Constantin ; Piskac, Ruzica
