Graph transformation : 11th International Conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings / Leen Lambers, Jens Weber (eds.).
Contributor(s): Lambers, Leen [editor.] | Weber, Jens (Professor of Software Engineering) [editor.] | STAF (Federation of conferences) (2018 : Toulouse, France) [jointly held conference.]Material type: TextSeries: SerienbezeichnungLecture notes in computer science: 10887.; LNCS sublibrary: Publisher: Cham, Switzerland : Springer, 2018Description: 1 online resource (xvi, 179 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783319929910; 3319929917; 3319929909; 9783319929903Other title: ICGT 2018Subject(s): Graph theory -- Data processing -- Congresses | Computer science -- Congresses | Computers -- Programming -- Algorithms | Mathematics -- Logic | Computers -- Data Modeling & Design | Computers -- Programming Languages -- General | Computers -- Programming -- General | Algorithms & data structures | Mathematical theory of computation | Programming & scripting languages: general | Computer programming -- software development | Computers -- Data Processing | Discrete mathematics | Computer science | Graph theory -- Data processingGenre/Form: Electronic books. | Conference papers and proceedings. Additional physical formats: Printed edition:: No titleDDC classification: 511/.5 LOC classification: QA166 | .I24 2018ebOnline resources: Click here to access online
|Item type||Current location||Collection||Call number||Status||Date due||Barcode||Item holds|
Includes bibliographical references and author index.
Online resource; title from PDF title page (SpringerLink, viewed June 20, 2018).
Graph languages -- Graph transformation formalisms -- Parallel independence and conflicts -- Graph conditions and verification.
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.