Vai al contenuto

Sessione

Sessione

OtiumBookshelf

Otium prende il nome dal tempo sottratto al rumore: quello che dedichi ai libri, agli appunti, alla memoria personale e alle relazioni tra lettori.

Prodotto

Home
Perche Otium
Come funziona
Blog

Community

Top Lettori
Community
Che cos'è Otium Bookshelf
Press
Aiuto
Contatto

Legale

Privacy
Termini
Cookie

© 2026 Otium Bookshelf

Il tempo dedicato a ciò che conta davvero.

Copertine da Open Library

Sessione

Sessione

Caricamento sessione

Hartmut Ehrig

Autori›Hartmut Ehrig

HE

Hartmut Ehrig

1944 – 2016

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

Fonte Open Library (si apre in una nuova scheda)

Opere: 31
Edizioni: 55
Lingue: 2

Pubblicato in Inglese · Tedesco

Accedi per seguire

Per saperne di più: Open Library (si apre in una nuova scheda)

I libri più noti

Tutti i libri di Hartmut Ehrig

Graph Transformations
2011
Graph grammars and their application to computer science
1991
Fundamentals of Algebraic Specification 2
1990

Graph and Model Transformation

2019

Copertina di Fundamentals of Algebraic Specification 1

Fundamentals of Algebraic Specification 1

2011

Copertina di Fundamentals of algebraic graph transformation

Fundamentals of algebraic graph transformation

2006

Copertina di Unifying Petri nets

Unifying Petri nets

2001

Copertina di Petri net technology for communication-based systems

Petri net technology for communication-based systems

2004

Copertina di Mathematisch-strukturelle Grundlagen der Informatik

Mathematisch-strukturelle Grundlagen der Informatik

2001

Copertina di Integration of software specification techniques for applications in engineering

Integration of software specification techniques for applications in engineering

2004

Copertina di Handbook of Graph Grammars and Computing by Graph Transformations Vol. 3

Handbook of Graph Grammars and Computing by Graph Transformations Vol. 3

1999

Copertina di Graph Transformation

Graph Transformation

2012

Copertina di Universal theory of automata

Universal theory of automata

1974

Copertina di Theory and Application of Graph Transformations

Theory and Application of Graph Transformations

2004

Copertina di TAPSOFT '87 Vol. 2

TAPSOFT '87 Vol. 2

1987

Copertina di Recent Trends in Data Type Specification

Recent Trends in Data Type Specification

1994

Copertina di Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

1986

Copertina di Mathematical Foundations of Software Development

Mathematical Foundations of Software Development

1985