15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / Ahrendt, Wolfgang ; Tapia Tarifa, Silvia Lizeth  

Público ISBD Ningún comentario para este título. Título : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings Tipo de documento: documento electrónico Autores: Ahrendt, Wolfgang, ; Tapia Tarifa, Silvia Lizeth, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVII, 554 p. 1489 ilustraciones, 92 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-34968-4 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: Programación lógica  Ingeniería Informática y Redes  Modelado por computadora  Lógica en IA  Teoría de la Computación  Compiladores e intérpretes  Ingeniería de software  Red informática  Simulación por ordenador  Informática  Compiladores (programas informáticos)  Ingeniería Informática Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 15.ª Conferencia Internacional sobre Métodos Formales Integrados, IFM 2019, celebrada en Bergen, Noruega, en diciembre de 2019. Los 25 artículos completos y 3 artículos breves fueron cuidadosamente revisados ​​y seleccionados entre 95 presentaciones. Los artículos cubren un amplio espectro de temas: desde el diseño de lenguajes hasta técnicas de verificación y análisis, pasando por herramientas de soporte y su integración en la práctica de la ingeniería de software, incluidos enfoques teóricos e implementaciones prácticas. También se incluyen los resúmenes ampliados de 6 artículos "primeros en revistas". Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings [documento electrónico] / Ahrendt, Wolfgang, ; Tapia Tarifa, Silvia Lizeth,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XVII, 554 p. 1489 ilustraciones, 92 ilustraciones en color. ISBN : 978-3-030-34968-4 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: Programación lógica  Ingeniería Informática y Redes  Modelado por computadora  Lógica en IA  Teoría de la Computación  Compiladores e intérpretes  Ingeniería de software  Red informática  Simulación por ordenador  Informática  Compiladores (programas informáticos)  Ingeniería Informática Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 15.ª Conferencia Internacional sobre Métodos Formales Integrados, IFM 2019, celebrada en Bergen, Noruega, en diciembre de 2019. Los 25 artículos completos y 3 artículos breves fueron cuidadosamente revisados ​​y seleccionados entre 95 presentaciones. Los artículos cubren un amplio espectro de temas: desde el diseño de lenguajes hasta técnicas de verificación y análisis, pasando por herramientas de soporte y su integración en la práctica de la ingeniería de software, incluidos enfoques teóricos e implementaciones prácticas. También se incluyen los resúmenes ampliados de 6 artículos "primeros en revistas". Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

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