Ehrig, Hartmut.

概要

作品:	3 作品在 2 項出版品 1 種語言

書目資訊

Graph and model transformation = general framework and applications / by: Ehrig, Hartmut.; SpringerLink (Online service) (書目-電子資源)

Petri net technology for communication-based systems = advances in Petri nets / by: Ehrig, Hartmut.; SpringerLink (Online service) (書目-語言資料,印刷品)

Unifying Petri nets = advances in Petri nets / by: Ehrig, Hartmut.; SpringerLink (Online service) (書目-語言資料,印刷品)

Fundamentals of algebraic specification / by: Mahr, B.; Ehrig, Hartmut. (書目-語言資料,印刷品)

Integration of software specification techniques for applications in engineering = Priority Program SoftSpez of the German Research Foundation (DFG) : final report / by: Ehrig, Hartmut.; Deutsche Forschungsgemeinschaft.; NetLibrary, Inc.; INT 2004 ((2004 :) (書目-語言資料,印刷品)

Theory and application of graph transformations = 6th international workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998 : selected papers / by: Ehrig, Hartmut.; SpringerLink (Online service); International Workshop on Theory and Applications of GraphTransformation (1998 :) (書目-語言資料,印刷品)

Integration of software specification techniques for applications in engineering = Priority Program SoftSpez of the German Research Foundation (DFG) : final report / by: SpringerLink (Online service); INT 2004 ((2004 :); Ehrig, Hartmut. (書目-電子資源)

Graph transformations = 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings / by: Ehrig, Hartmut.; SpringerLink (Online service) (書目-電子資源)

Graph transformations = second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings / by: Ehrig, Hartmut.; SpringerLink (Online service); ICGT 2004 ((2004 :) (書目-語言資料,印刷品)

Graph transformations = 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings / by: Ehrig, Hartmut.; SpringerLink (Online service); ICGT 2008 ((2008 :) (書目-語言資料,印刷品)

主題