Relational and Algebraic Methods in Computer Science [electronic resource] : 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings / edited by Jules Desharnais, Walter Guttmann, Stef Joosten.
Tipo de material:
TextoSeries Theoretical Computer Science and General Issues ; 11194Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Edición: 1st ed. 2018Descripción: XVI, 385 p. 30 illus. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783030021498Tema(s): Mathematical logic | Artificial intelligence | Computer logic | Programming languages (Electronic computers) | Computer programming | Numerical analysis | Mathematical Logic and Formal Languages | Artificial Intelligence | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Programming Techniques | Numeric ComputingFormatos físicos adicionales: Printed edition:: Sin título; Printed edition:: Sin títuloClasificación CDD: 005.131 Clasificación LoC:QA8.9-10.3Recursos en línea: Libro electrónico
Contenidos:
En: Springer Nature eBookResumen: This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018. The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.
Invited Paper -- Theoretical Foundations -- Reasoning about Computations and Programs -- Applications and Tools.
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
| Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | 1 | No para préstamo |
Acceso multiusuario
Invited Paper -- Theoretical Foundations -- Reasoning about Computations and Programs -- Applications and Tools.
This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018. The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.
UABC ; Temporal ; 01/01/2021-12/31/2023.
