MPG.eBooks - Search Results - "Meaning"

Cover Image

1

Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG). Final Report

by Ehrig, Hartmut
Published 2004

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Cover Image

2

Petri Net Technology for Communication-Based Systems : Advances in Petri Nets

by Ehrig, Hartmut
Published 2003

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Cover Image

3

Unifying Petri Nets : Advances in Petri Nets

by Ehrig, Hartmut
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Cover Image

4

Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg

Published 2002

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Cover Image

5

Graph Transformation : First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings

by Corradini, Andrea
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Cover Image

6

Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg

by Brauer, Wilfried
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Cover Image

7

Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings

by Ehrig, Hartmut
Published 2004

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”