Título :	Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Tipo de documento:	documento electrónico
Autores:	Lahiri, Shuvendu K., ; Wang, Chao,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2018
Número de páginas:	XIII, 560 p. 133 ilustraciones
ISBN/ISSN/DL:	978-3-030-01090-4
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  Compiladores (programas informáticos)  Protección de datos  Simulación por ordenador  Ciencias de la Computación  Teoría de las máquinas  Compiladores e intérpretes  Seguridad de datos e información  Modelado por computadora  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye las actas arbitradas del 16.º Simposio Internacional sobre Tecnología Automatizada para la Verificación y el Análisis, ATVA 2018, celebrado en Los Ángeles, CA, EE. UU. en octubre de 2018. Los 27 artículos completos presentados junto con 5 artículos breves y 3 charlas invitadas fueron cuidadosamente revisado y seleccionado entre 82 presentaciones. El simposio está dedicado a la promoción de la investigación sobre aspectos teóricos y prácticos del análisis, verificación y síntesis automatizados proporcionando un foro para la interacción entre las comunidades de investigación y la industria regional e internacional en este campo.
Nota de contenido:	Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving -- Software Verification -- SAT Solver -- SMT Solver -- Automation Logic.
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

Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings [documento electrónico] / Lahiri, Shuvendu K., ; Wang, Chao,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XIII, 560 p. 133 ilustraciones.
ISBN : 978-3-030-01090-4
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  Compiladores (programas informáticos)  Protección de datos  Simulación por ordenador  Ciencias de la Computación  Teoría de las máquinas  Compiladores e intérpretes  Seguridad de datos e información  Modelado por computadora  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye las actas arbitradas del 16.º Simposio Internacional sobre Tecnología Automatizada para la Verificación y el Análisis, ATVA 2018, celebrado en Los Ángeles, CA, EE. UU. en octubre de 2018. Los 27 artículos completos presentados junto con 5 artículos breves y 3 charlas invitadas fueron cuidadosamente revisado y seleccionado entre 82 presentaciones. El simposio está dedicado a la promoción de la investigación sobre aspectos teóricos y prácticos del análisis, verificación y síntesis automatizados proporcionando un foro para la interacción entre las comunidades de investigación y la industria regional e internacional en este campo.
Nota de contenido:	Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving -- Software Verification -- SAT Solver -- SMT Solver -- Automation Logic.
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