Graph Transformation [[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

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
• Edizione: 1st ed. 2012.
• Descrizione fisica: 1 online resource (XII, 427 p. 166 illus.)
• Disciplina: 004.0151
• Soggetto topico: Computer science—Mathematics; Discrete mathematics; Software engineering; Artificial intelligence—Data processing; Computer science; Algorithms; Machine theory; Discrete Mathematics in Computer Science; Software Engineering; Data Science; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory
• Persona (resp. second.): EhrigHartmut; EngelsGregor; KreowskiHans-Jörg; RozenbergGrzegorz
• Note generali: International conference proceedings.
• Nota di bibliografia: Includes bibliographical references and author index.
• Sommario/riassunto: 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.
• Titolo autorizzato: Graph Transformation
• ISBN: 3-642-33654-X
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465610903316
• Lo trovi qui: Univ. di Salerno
• Serie: Theoretical Computer Science and General Issues, . 2512-2029 ; ; 7562