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 registro. 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. 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 Índice Dewey: 005.1 Programación (Computadoras) 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". 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 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. 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 Índice Dewey: 005.1 Programación (Computadoras) 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". 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

---

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