Image for Graph transformation, specifications, and nets: in memory of Hartmut Ehrig

Graph transformation, specifications, and nets: in memory of Hartmut Ehrig - 10800. (1st ed. 2018.)

Heckel, Reiko(Edited by)Taentzer, Gabriele(Edited by)
Part of the LNCS sublibrary: SL1 - theoretical computer science and general issues series
See all formats and editions

This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016.

The contributions represent a selection from a symposium, held in October 2016 at TU Berlin,  commemorating Hartmut' s life and work as well as other invited papers in the areas he was active in.

These areas include Graph Transformation, Model Transformation,  Concurrency Theory, in particular Petri Nets, Algebraic Specification, and Category Theory in Computer Science.

Read More
Special order line: only available to educational & business accounts. Sign In
£44.99
Product Details
Springer
3319753967 / 9783319753966
eBook (Adobe Pdf, EPUB)
006.6
06/02/2018
English
333 pages
Copy: 10%; print: 10%