Título :	Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Tipo de documento:	documento electrónico
Autores:	ter Beek, Maurice H., ; McIver, Annabelle, ; Oliveira, José N.,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2019
Número de páginas:	XXI, 774 p. 1687 ilustraciones, 92 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-30942-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:	Ingeniería de software  Compiladores (programas informáticos)  Ciencias de la Computación  Teoría de las máquinas  Algoritmos  Inteligencia artificial  Compiladores e intérpretes  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 23.er Simposio sobre Métodos Formales, FM 2019, celebrado en Oporto, Portugal, en forma de Tercer Congreso Mundial sobre Métodos Formales, en octubre de 2019. Los 44 artículos completos presentados junto con 3 presentaciones invitadas fueron cuidadosamente revisado y seleccionado entre 129 presentaciones. Los artículos están organizados en secciones temáticas denominadas: Presentaciones invitadas; Verificación; Técnicas de Síntesis; concurrencia; Modelo de circo de control; Comprobación de modelos; Técnicas de Análisis; Idiomas de especificación; Técnicas de Razonamiento; Lenguajes de modelado; Técnicas y Aplicaciones Basadas en el Aprendizaje; Refactorización y Reprogramación; Presentaciones del I-Day. .
Nota de contenido:	Invited Presentations -- Verification -- Synthesis Techniques -- Concurrency -- Model Checking Circus -- Model Checking -- Analysis Techniques -- Specification Languages -- Reasoning Techniques -- Modelling Languages -- Learning-Based Techniques and Applications -- Refactoring and Reprogramming- I-Day Presentations.
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

Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings [documento electrónico] / ter Beek, Maurice H., ; McIver, Annabelle, ; Oliveira, José N.,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XXI, 774 p. 1687 ilustraciones, 92 ilustraciones en color.
ISBN : 978-3-030-30942-8
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)  Ciencias de la Computación  Teoría de las máquinas  Algoritmos  Inteligencia artificial  Compiladores e intérpretes  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 23.er Simposio sobre Métodos Formales, FM 2019, celebrado en Oporto, Portugal, en forma de Tercer Congreso Mundial sobre Métodos Formales, en octubre de 2019. Los 44 artículos completos presentados junto con 3 presentaciones invitadas fueron cuidadosamente revisado y seleccionado entre 129 presentaciones. Los artículos están organizados en secciones temáticas denominadas: Presentaciones invitadas; Verificación; Técnicas de Síntesis; concurrencia; Modelo de circo de control; Comprobación de modelos; Técnicas de Análisis; Idiomas de especificación; Técnicas de Razonamiento; Lenguajes de modelado; Técnicas y Aplicaciones Basadas en el Aprendizaje; Refactorización y Reprogramación; Presentaciones del I-Day. .
Nota de contenido:	Invited Presentations -- Verification -- Synthesis Techniques -- Concurrency -- Model Checking Circus -- Model Checking -- Analysis Techniques -- Specification Languages -- Reasoning Techniques -- Modelling Languages -- Learning-Based Techniques and Applications -- Refactoring and Reprogramming- I-Day Presentations.
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