1
by Ehrig, Hartmut, Ehrig, Karsten, Prange, Ulrike, Taentzer, Gabriele
Published 2006
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...

2
by Ehrig, Hartmut
Published 1985
Springer Berlin Heidelberg
Subjects: '; ...Programming Languages, Compilers, Interpreters...

3
by Ehrig, Hartmut
Published 1987
Springer Berlin Heidelberg
Table of Contents: '; ... -- Implementing algebraically specified abstract data types in an imperative programming language -- A declarative...

4
by Ehrig, Hartmut
Published 1987
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...

5
by Ehrig, Hartmut
Published 1994
Springer Berlin Heidelberg
Table of Contents: '; ... in the specification language Glider -- On certification of specifications for TROLL light objects -- Translating TROLL...

6
by Ehrig, Hartmut
Published 2004
Springer Berlin Heidelberg
Subjects: '; ...Programming Languages, Compilers, Interpreters...

7
by Ehrig, Hartmut
Published 2004
Springer Berlin Heidelberg
Table of Contents: '; ...Petri Nets and Related Approaches in Engineering -- Process Description Languages and Methods...

8
by Ehrig, Hartmut, Mahr, Bernd
Published 1990
Springer Berlin Heidelberg
Table of Contents: '; ... and Specification Languages -- 1C: Concepts for Abstract Modules and Modular Systems -- 1D: Informal Introduction...

9
by Ehrig, Hartmut, Mahr, Bernd
Published 1985
Springer Berlin Heidelberg
Table of Contents: '; ...9 Concepts of a Specification Language -- Basic Specifications -- Combination -- Renaming...

10
by Ehrig, Hartmut
Published 2000
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...

11
by Ehrig, Hartmut
Published 1987
Springer Berlin Heidelberg
Table of Contents: '; ...-order theory -- Restricting the complexity of regular DNLC languages -- Apex graph grammars -- Graph...

12
by Ehrig, Hartmut, Mahr, Bernd, Große-Rhode, Martin, Cornelius, Felix
Published 2001
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...