Graph Transformations [electronic resource] : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings / edited by Hartmut Ehrig, Gregor Engels, Hans-Jȵrg Kreowski, Grzegorz Rozenberg.
Tipo de material:
TextoSeries Lecture Notes in Computer Science, 7562Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Descripción: XII, 427 p. 166 illus. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642336546Trabajos contenidos: SpringerLink (Online service)Tema(s): Computer science | Software engineering | Data structures (Computer science) | Computer software | Logic design | Computational complexity | Computer Science | Discrete Mathematics in Computer Science | Software Engineering | Data Structures | Logics and Meanings of Programs | Algorithm Analysis and Problem Complexity | Mathematical Logic and Formal LanguagesFormatos físicos adicionales: Sin títuloClasificación CDD: 004.0151 Clasificación LoC:QA76.9.M35Recursos en línea: de clik aquí para ver el libro electrónico Springer eBooksResumen: This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.
No hay ítems correspondientes a este registro
This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.