Library of American University of Madaba
Your cart is empty.
Ehrig, Hartmut.
Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings / [electronic resource] : edited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg. - XII, 427 p. 166 illus. online resource. - Lecture Notes in Computer Science, 7562 0302-9743 ; .
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.
9783642336546
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 Languages.
QA76.9.M35
004.0151
Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings / [electronic resource] : edited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg. - XII, 427 p. 166 illus. online resource. - Lecture Notes in Computer Science, 7562 0302-9743 ; .
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.
9783642336546
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 Languages.
QA76.9.M35
004.0151