Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de ... 785 (Lecture Notes in Computer Science)
by Hartmut Ehrig, Fernando Orejas
ISBN 13: 9783540578673
Format: Paperback (350 pages) Publisher: Springer Published: 28 Apr 1994
Save for later
Graph Transformations in Computer Science: International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings: 776 (Lecture Notes in Computer Science)
by Hartmut Ehrig, Hans J. Schneider
ISBN 13: 9783540577874
Format: Paperback (412 pages) Publisher: Springer Published: 13 Jun 2008
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics: 6 (Monographs in Theoretical Computer Science. An EATCS Series)
by Hartmut Ehrig, Peter Deuflhard
ISBN 13: 9783642699641
Format: Paperback (340 pages) Publisher: Springer Berlin Heidelberg Published: 01 Jan 1985
Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings: 532 (Lecture Notes in Computer Science)
by Hartmut Ehrig, Grzegorz Rozenberg, Hans-J??rg Kreowski
ISBN 13: 9783540544784
Format: Paperback (716 pages) Publisher: Springer Published: 13 Jun 2008
Integration of Software Specification Techniques for Applications in Engineering: Priority Program Softspez Of The German Research Foundation (Dfg) ... 3147 (Lecture Notes in Computer Science)
by Hartmut Ehrig
ISBN 13: 9783540231356
Format: Paperback (644 pages) Publisher: Springer Published: 04 Oct 2013
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Lecture Notes in Computer Science)
by Juhani Karhumäki, Hartmut Ehrig, Wilfried Brauer, Arto K. Salomaa
ISBN 13: 9783540431909
Format: Paperback (472 pages) Publisher: Springer Published: 13 Jun 2008
TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: ... in: 249 (Lecture Notes in Computer Science)
by Ugo Montanari, Hartmut Ehrig, Robert Kowalski, Giorgio Levi
ISBN 13: 9783540176602
Format: Paperback (312 pages) Publisher: Springer Published: 13 Jun 2008