Autor Piskac, Ruzica
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsqueda10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / Piskac, Ruzica ; Rümmer, Philipp
Título : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Piskac, Ruzica, ; Rümmer, Philipp, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XVI, 345 p. 83 ilustraciones, 10 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-03592-1 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: Ingeniería de software Ciencias de la Computación Compiladores (programas informáticos) Computadoras digitales electrónicas Computadoras Propósitos especiales Ordenadores Profesiones Lógica informática y fundamentos de la programación Compiladores e intérpretes Rendimiento y evaluación del sistema Sistemas de propósito especial y basados en aplicaciones La profesión informática Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen constituye las actas posteriores a la conferencia, exhaustivamente revisadas, de la 10.ª Conferencia Internacional sobre Software Verificado: Teorías, Herramientas y Experimentos, VSTTE 2018, celebrada en Oxford, Reino Unido, en julio de 2018. Los 19 artículos completos presentados fueron cuidadosamente revisados y seleccionados de 24 presentaciones. Los artículos describen esfuerzos de verificación a gran escala que involucran colaboración, unificación de teorías, integración de herramientas y conocimiento de dominio formalizado, así como experimentos novedosos y estudios de casos que evalúan técnicas y tecnologías de verificación. 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 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers [documento electrónico] / Piskac, Ruzica, ; Rümmer, Philipp, . - 1 ed. . - [s.l.] : Springer, 2018 . - XVI, 345 p. 83 ilustraciones, 10 ilustraciones en color.
ISBN : 978-3-030-03592-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ingeniería de software Ciencias de la Computación Compiladores (programas informáticos) Computadoras digitales electrónicas Computadoras Propósitos especiales Ordenadores Profesiones Lógica informática y fundamentos de la programación Compiladores e intérpretes Rendimiento y evaluación del sistema Sistemas de propósito especial y basados en aplicaciones La profesión informática Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen constituye las actas posteriores a la conferencia, exhaustivamente revisadas, de la 10.ª Conferencia Internacional sobre Software Verificado: Teorías, Herramientas y Experimentos, VSTTE 2018, celebrada en Oxford, Reino Unido, en julio de 2018. Los 19 artículos completos presentados fueron cuidadosamente revisados y seleccionados de 24 presentaciones. Los artículos describen esfuerzos de verificación a gran escala que involucran colaboración, unificación de teorías, integración de herramientas y conocimiento de dominio formalizado, así como experimentos novedosos y estudios de casos que evalúan técnicas y tecnologías de verificación. 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
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
