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 título. 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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; modelsof software security; and logical foundations of data bases. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; modelsof software security; and logical foundations of data bases. 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