Suchergebnisse - Ehrig, Hartmut

Hartmut Ehrig

Hartmut Ehrig (* 6. Dezember 1944 in Angermünde; † 17. März 2016) war ein deutscher Informatiker und Professor für theoretische Informatik und formale Spezifikation. Veröffentlicht in Wikipedia
Treffer filtern
  1. 1
    Buchumschlag

    Fundamentals of algebraic specification
    Band 1 - Equations and initial semantics
    von Ehrig, Hartmut 1944-2016, Mahr, Bernd

    Veröffentlicht 1985
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Topological automata
    von Ehrig, Hartmut 1944-2016, Kühnel, Wolfgang 1950-

    Veröffentlicht 1974
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Fundamentals of algebraic specification
    Band 2 - Module specifications and constraints
    von Ehrig, Hartmut 1944-2016, Mahr, Bernd

    Veröffentlicht 1990
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Kategorien und Automaten
    von Ehrig, Hartmut 1944-2016, Pfender, Michael

    Veröffentlicht 1972
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Algebraische Implementierung abstrakter Datentypen
    von Ehrig, Hartmut 1944-2016, Kreowski, Hans-Jörg, Padawitz, Peter

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Some remarks concerning correct specification and implementation of abstract data types
    von Ehrig, Hartmut 1944-2016, Kreowski, Hans-Jörg, Padawitz, Peter

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Graph grammars and applications to specialization and evolution in biology
    von Ehrig, Hartmut 1944-2016, Tischer, Karl Wilhelm

    Veröffentlicht 1974
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
    von Ehrig, Hartmut 1944-2016

    Veröffentlicht 1971
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors
    von Ehrig, Hartmut 1944-2016, Kreowski, Hans-Jörg, Orejas, Fernando

    Veröffentlicht 1996
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Graph grammars: an introduction to the double pushout approach
    von Martini, Alfio, Ehrig, Hartmut 1944-2016, Nunes, Daltro

    Veröffentlicht 1996
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    A decade of TAPSOFT: aspects of progress and prospects in theory and practice of software development
    von Ehrig, Hartmut 1944-2016, Mahr, Bernd

    Veröffentlicht 1995
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Algebraic high level nets: Petri nets revisited
    von Ehrig, Hartmut 1944-2016, Padberg, Julia, Ribeiro, Leila

    Veröffentlicht 1993
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    FLEX: a flexible extension and integration concept for software development in KORSO and COMPASS
    von Ehrig, Hartmut 1944-2016

    Veröffentlicht 1993
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Specification techniques for concurrent and distributed systems
    von Ehrig, Hartmut 1944-2016, Große-Rhode, Martin, Heise, Andreas

    Veröffentlicht 1992
    Inhaltsverzeichnis
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Nonequivalence of categories for equational algebraic specifications in view of high level replacement systems
    von Ehrig, Hartmut 1944-2016, Parisi-Presicce, Francesco

    Veröffentlicht 1991
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts
    von Ehrig, Hartmut 1944-2016, Korff, Martin, Löwe, Michael

    Veröffentlicht 1990
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Parallel and distributed derivations in the single-pushout-approach
    von Ehrig, Hartmut 1944-2016, Löwe, Michael

    Veröffentlicht 1990
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    An algebraic specification concept for modules
    von Ehrig, Hartmut 1944-2016

    Veröffentlicht 1984
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Algebraic concepts applied to software development
    von Ehrig, Hartmut 1944-2016

    Veröffentlicht 1983
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    ACT ONE, an algebraic specification language with two levels of semantics
    von Ehrig, Hartmut 1944-2016

    Veröffentlicht 1983
    Per Fernleihe bestellen
    Buch


    Gespeichert in:

Suchwerkzeuge: