Gabriele Taentzer

Identifiers

Open LibraryOL7997419A

Top Subjects

Software engineering (2)
Logic, symbolic and mathematical (1)
Logic design (1)
Graph theory (1)
Computer architecture (1)
Computer software, development (1)

Books by Gabriele Taentzer

Total count: 7

Formal Methods in Software and Systems ModelingEssays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Springer London, Limited2005-01-01
Fundamentals of Algebraic Graph Transformation

Springer London, Limited2006-01-01
Graph Transformations4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings

Springer London, Limited2008-01-01
Fundamental Approaches to Software Engineering13th International Conference, FASE 2010, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings

Springer London, Limited2010-01-01
Modelling Foundations and Applications11th European Conference, ECMFA 2015, Held As Part of STAF 2015, l`Aquila, Italy, July 20-24, 2015. Proceedings

Springer International Publishing AG2015-01-01
Graph Transformation, Specifications, and NetsIn Memory of Hartmut Ehrig

Springer2018-02-07
Graph Transformation for Software EngineersWith Applications to Model-Based Development and Domain-Specific Language Engineering

Springer2020-05-14