Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Lambers, Leen (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Weber, Jens (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Theoretical Computer Science and General Issues ; 10887
• Θέματα: 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 Techniques.

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 su...

Πίνακας περιεχομένων:

• Graph languages
• Graph transformation formalisms
• Parallel independence and conflicts
• Graph conditions and verification.