Hartmut Ehrig
Hartmut Ehrig
Hartmut Ehrig was a German computer scientist and professor of theoretical computer science and formal specification. He was a pioneer in algebraic specification of abstract data types, and in graph grammars. Source: https://en.wikipedia.org/wiki/Hartmut_Ehrig
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryGA
Graph and Model Transformation
cover - Image source: Open LibraryGT
Graph Transformations
cover - Image source: Open LibraryGT
Graph Transformation
cover - Image source: Open LibraryFO
Fundamentals of Algebraic Specification 1
cover - Image source: Open LibraryGT
Graph Transformations
cover - Image source: Open LibraryFO
Fundamentals of algebraic specification 2
cover - Image source: Open LibraryGT
Graph Transformations Lecture Notes in Computer Science
cover - Image source: Open LibraryFO
Fundamentals of algebraic graph transformation
cover - Image source: Open LibraryFM
Formal methods in software and systems modeling
cover - Image source: Open LibraryFM
Formal methods in software and systems modeling
cover - Image source: Open LibraryIO
Integration of software specification techniques for applications in engineering
cover - Image source: Open LibraryPN
Petri net technology for communication-based systems
cover - Image source: Open LibraryUP
Unifying Petri nets
cover - Image source: Open LibraryTA
Theory and application of graph transformations
cover - Image source: Open LibraryGG
Graph grammars and their application to computer science
cover - Image source: Open LibraryGT
Graph transformations in computer science
cover - Image source: Open LibraryGT
Graph Transformations in Computer Science
cover - Image source: Open LibraryRT
Recent Trends in Data Type Specification
cover - Image source: Open LibraryA
Act
cover - Image source: Open LibraryGG
Graph grammars and their application to computer science
cover - Image source: Open LibraryFO
Fundamentals of Algebraic Specification 2
cover - Image source: Open LibraryFO
Fundamentals of Algebraic Specification 2
cover - Image source: Open LibraryCM
Categorical methods in computer science
cover - Image source: Open LibraryCM
Categorical methods in computer science
cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Graph and Model Transformation
- Open Work
Graph Transformations
- Open Work
Graph Transformation
- Open Work
Fundamentals of Algebraic Specification 1
- Open Work
Graph Transformations
- Open Work
Fundamentals of algebraic specification 2
- Open Work
Graph Transformations Lecture Notes in Computer Science
- Open Work
Fundamentals of algebraic graph transformation
- Open Work
Formal methods in software and systems modeling
- Open Work
Formal methods in software and systems modeling
- Open Work
Integration of software specification techniques for applications in engineering
- Open Work
Petri net technology for communication-based systems
- Open Work
Unifying Petri nets
- Open Work
Theory and application of graph transformations
- Open Work
Graph grammars and their application to computer science
- Open Work
Graph transformations in computer science
- Open Work
Graph Transformations in Computer Science
- Open Work
Recent Trends in Data Type Specification
- Open Work
Act
- Open Work
Graph grammars and their application to computer science
- Open Work
Fundamentals of Algebraic Specification 2
- Open Work
Fundamentals of Algebraic Specification 2
- Open Work
Categorical methods in computer science
- Open Work
Categorical methods in computer science