Graph Transformation  7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings /  [electronic resource] : 
edited by Holger Giese, Barbara K�onig. 
 - XII, 285 p. 110 illus.  online resource. 
 - Lecture Notes in Computer Science,  8571  0302-9743 ; .
 - Lecture Notes in Computer Science,  8571 .
<br/><br/>Verification -- Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications. Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications. 
<br/><br/> This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014. The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications. 
<br/><br/><label>ISBN: </label>9783319091082 
<br/><br/><label>Standard No.: </label>10.1007/978-3-319-09108-2  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Data structures (Computer science).<br/>Algorithms.<br/>Computer logic.<br/>Mathematical logic.<br/>Computer science--Mathematics.<br/>Computer Science.<br/>Discrete Mathematics in Computer Science.<br/>Software Engineering.<br/>Data Structures.<br/>Logics and Meanings of Programs.<br/>Algorithm Analysis and Problem Complexity.<br/>Mathematical Logic and Formal Languages.
<br/><br/><label>LC Class. No.: </label>QA76.9.M35 
<br/><br/><label>Dewey Class. No.: </label>004.0151