Andere Kunden interessierten sich auch für
![Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems]( "Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems")
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems37,99 €![Leveraging Applications of Formal Methods, Verification and Validation. Verification]( "Leveraging Applications of Formal Methods, Verification and Validation. Verification")
Leveraging Applications of Formal Methods, Verification and Validation. Verification37,99 €![Graph Transformation]( "Graph Transformation")
Graph Transformation37,99 €![Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice]( "Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice")
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice37,99 €![Leveraging Applications of Formal Methods, Verification and Validation. Modeling]( "Leveraging Applications of Formal Methods, Verification and Validation. Modeling")
Leveraging Applications of Formal Methods, Verification and Validation. Modeling37,99 €![Developments in Language Theory]( "Developments in Language Theory")
Developments in Language Theory37,99 €![Graph Transformation]( "Graph Transformation")
Graph Transformation37,99 €
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 submissions. The papers deal with the following topics: graph languages; graph transformation formalisms; parallel independence and conflicts; and graph conditions and verification.
The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation formalisms; parallel independence and conflicts; and graph conditions and verification.