It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by raybb
October 8, 2021 | History
Edit

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

We need a photo of Hartmut Ehrig

German computer scientist (1944-2016)

Born 1944
Died 2016

31 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Graph Transformations: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings

    First published in 2012 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science)

    First published in 1989 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Universal theory of automata: a categorical approach

    First published in 1974 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Graph Transformations Lecture Notes in Computer Science

    First published in 2008 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Advanced ... '87) (Lecture Notes in Computer Science)

    First published in 1987 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, ... (CSE) (Lecture Notes in Computer Science)

    First published in 1986 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Kategorien und Automate

    First published in 2018 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Kick-off-Workshop der DFG-Forschergruppe Petrinetz-Technologie: Berlin, 15. Juli 1996

    First published in 1996 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

    First published in 1990 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... (Lecture Notes in Computer Science)

    First published in 1986 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Graph-grammars and their application to computer science: 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982

    First published in 1983 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Hartmut Ehrig

German computer scientist (1944-2016)

Born 1944
Died 2016

Subjects

Computer software, Congresses, Data structures (Computer science), Algebra, Development, Graph theory, Software engineering, Computer science, Computer software, development, Graph grammars, Logic design, Categories (Mathematics), Computational complexity, Computer Books: Operating Systems, Computer systems, Computers, Data processing, Data structures (computer science), Design, Electronic data processing, Formal languages, Formal methods (Computer science), Mathematics, Programming - Software Development, Softwareentwicklung

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
October 8, 2021 Edited by raybb Edited without comment.
September 13, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import