Graph Transformation : 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings / / edited by Leen Lambers, Jens Weber

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
• Edizione: 1st ed. 2018.
• Descrizione fisica: 1 online resource (XVI, 179 p. 60 illus.)
• Disciplina: 511.5
• Soggetto topico: Computer science - Mathematics; Discrete mathematics; Algorithms; Machine theory; Artificial intelligence - Data processing; Compilers (Computer programs); Computer programming; Discrete Mathematics in Computer Science; Formal Languages and Automata Theory; Data Science; Compilers and Interpreters; Programming Techniques
• Persona (resp. second.): LambersLeen; WeberJens
• Note generali: Includes index.
• Nota di contenuto: Graph languages -- Graph transformation formalisms -- Parallel independence and conflicts -- Graph conditions and verification.
• Sommario/riassunto: 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.
• Titolo autorizzato: Graph Transformation
• ISBN: 9783319929910; 3319929917
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910349435503321
• Lo trovi qui: Univ. Federico II
• Serie: Theoretical Computer Science and General Issues, . 2512-2029 ; ; 10887