10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / Piskac, Ruzica ; Rümmer, Philipp  

Público ISBD Ningún comentario para este título. 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. Idioma : Inglés (eng) 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 Clasificación: 005.1 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. Tipo de medio : Computadora Summary : This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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. Idioma : Inglés (eng) 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 Clasificación: 005.1 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. Tipo de medio : Computadora Summary : This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings / Enea, Constantin ; Piskac, Ruzica  

Público ISBD Ningún comentario para este título. 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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019. The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: 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, and hybrid and cyber-physical systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019. The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: 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, and hybrid and cyber-physical systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 2 / 2) Ver por página : 25 50 100 200