Hartmut Ehrig

Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher · 1986
פרטי הספר
- שנה
- 1986
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 436
- ISBN
- 9783540151982
מקור הנתונים: Wikidata
עוד של Hartmut Ehrig
Hartmut Ehrig

Fundamentals of algebraic graph transformation
Hartmut Ehrig · 2006
Hartmut Ehrig

Integration of software specification techniques for applications in engineering
Hartmut Ehrig · 2004
Hartmut Ehrig

Graph grammars and their application to computer science
Hartmut Ehrig · 1991
Hartmut Ehrig

Fundamentals of Algebraic Specification 2
Hartmut Ehrig · 1990
Hartmut Ehrig

Fundamentals of Algebraic Specification 1
Hartmut Ehrig · 1985
Hartmut Ehrig

Graph and Model Transformation
Hartmut Ehrig · 2015
Hartmut Ehrig

Graph Transformations
Hartmut Ehrig · 2012
Hartmut Ehrig

Graph Transformations Lecture Notes in Computer Science
Hartmut Ehrig · 2008
Hartmut Ehrig

Formal methods in software and systems modeling
Hartmut Ehrig · 2005
Hartmut Ehrig

Petri net technology for communication-based systems
Hartmut Ehrig · 2004