23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / Goubault-Larrecq, Jean ; König, Barbara  

Público ISBD Ningún comentario para este registro. Título : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings Tipo de documento: documento electrónico Autores: Goubault-Larrecq, Jean, ; König, Barbara, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XV, 644 p. 1 ilustraciones ISBN/ISSN/DL: 978-3-030-45231-5 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: Lógica matemática  Informática  Matemáticas discretas  Compiladores (programas informáticos)  Programación de computadoras  Programación lógica  Ingeniería Informática  Red de computadoras  Lógica Matemática y Fundamentos  Matemáticas discretas en informática  Compiladores e intérpretes  Técnicas de programación  Lógica en IA  Ingeniería Informática y Redes Índice Dewey: 511.3 Resumen: Este libro de acceso abierto constituye las actas de la 23.ª Conferencia Internacional sobre Fundamentos de la Ciencia del Software y Estructuras Computacionales, FOSSACS 2020, que tuvo lugar en Dublín, Irlanda, en abril de 2020, y se celebró como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica. of Software, ETAPS 2020. Los 31 artículos regulares presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 98 presentaciones. Los artículos cubren temas como lógica y modelos categóricos; teoría del lenguaje, autómatas y juegos; lógicas modales, espaciales y temporales; teoría de tipos y teoría de la prueba; teoría de concurrencia y cálculo de procesos; reescribir la teoría; semántica de lenguajes de programación; análisis, corrección, transformación y verificación de programas; lógicas de programación; especificación y refinamiento del software; modelos de sistemas concurrentes, reactivos, estocásticos, distribuidos, híbridos y móviles; modelos emergentes de computación; aspectos lógicos de la complejidad computacional; modelos de seguridad del software; y fundamentos lógicos de las bases de datos. 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 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings [documento electrónico] / Goubault-Larrecq, Jean, ; König, Barbara,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XV, 644 p. 1 ilustraciones. ISBN : 978-3-030-45231-5 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Lógica matemática  Informática  Matemáticas discretas  Compiladores (programas informáticos)  Programación de computadoras  Programación lógica  Ingeniería Informática  Red de computadoras  Lógica Matemática y Fundamentos  Matemáticas discretas en informática  Compiladores e intérpretes  Técnicas de programación  Lógica en IA  Ingeniería Informática y Redes Índice Dewey: 511.3 Resumen: Este libro de acceso abierto constituye las actas de la 23.ª Conferencia Internacional sobre Fundamentos de la Ciencia del Software y Estructuras Computacionales, FOSSACS 2020, que tuvo lugar en Dublín, Irlanda, en abril de 2020, y se celebró como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica. of Software, ETAPS 2020. Los 31 artículos regulares presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 98 presentaciones. Los artículos cubren temas como lógica y modelos categóricos; teoría del lenguaje, autómatas y juegos; lógicas modales, espaciales y temporales; teoría de tipos y teoría de la prueba; teoría de concurrencia y cálculo de procesos; reescribir la teoría; semántica de lenguajes de programación; análisis, corrección, transformación y verificación de programas; lógicas de programación; especificación y refinamiento del software; modelos de sistemas concurrentes, reactivos, estocásticos, distribuidos, híbridos y móviles; modelos emergentes de computación; aspectos lógicos de la complejidad computacional; modelos de seguridad del software; y fundamentos lógicos de las bases de datos. 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) Par page : 25 50 100 200