Graph Transformation [electronic resource] : 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings / edited by Leen Lambers, Jens Weber.
Tipo de material:
TextoSeries Theoretical Computer Science and General Issues ; 10887Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Edición: 1st ed. 2018Descripción: XVI, 179 p. 60 illus. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783319929910Tema(s): Computer science-Mathematics | Algorithms | Mathematical logic | Data structures (Computer science) | Programming languages (Electronic computers) | Computer programming | Discrete Mathematics in Computer Science | Algorithm Analysis and Problem Complexity | Mathematical Logic and Formal Languages | Data Structures | Programming Languages, Compilers, Interpreters | Programming TechniquesFormatos físicos adicionales: Printed edition:: Sin título; Printed edition:: Sin títuloClasificación CDD: 004.0151 Clasificación LoC:QA76.9.M35 Recursos en línea: Libro electrónico
Contenidos:
En: Springer Nature eBookResumen: This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation formalisms; parallel independence and conflicts; and graph conditions and verification.
Graph languages -- Graph transformation formalisms -- Parallel independence and conflicts -- Graph conditions and verification.
| 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
Graph languages -- Graph transformation formalisms -- Parallel independence and conflicts -- Graph conditions and verification.
This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation formalisms; parallel independence and conflicts; and graph conditions and verification.
UABC ; Temporal ; 01/01/2021-12/31/2023.
