9783642159275 | Springer-Verlag New York Inc, October 11, 2010, cover price $95.00 | About this edition: This book constitutes the proceedings of the 5th International Conference on Graph Transformations, ICGT 2010, held in Twente, The Netherlands, in September/October 2010.

9783540874041 | Springer-Verlag New York Inc, September 1, 2008, cover price $109.00 | About this edition: This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008.

9783540388708 | Springer-Verlag New York Inc, October 15, 2006, cover price $84.00 | About this edition: This book constitutes the refereed proceedings of the Third International Conference on Graph Transformations, ICGT 2006.

9783540232070 | Springer-Verlag New York Inc, November 15, 2004, cover price $84.00 | About this edition: This book constitutes the refereed proceedings of the Second International Conference on Graph Transformation, ICGT 2004, held in Rome, Italy, in September/October 2004.

9783540231356 | Springer-Verlag New York Inc, November 15, 2004, cover price $109.00 | About this edition: This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG).

9783540205388 | Springer Verlag, January 1, 2004, cover price $99.00 | About this edition: This state-of-the-art survey in the Advances in Petri Nets series reports how various well-established and novel Petri net notions and techniques can be employed for modelling communication-based systems, with a particular focus on workflow management and business processes.

9783540443100 | Springer Verlag, October 1, 2002, cover price $89.95 | About this edition: Presents papers from the ICGT 2002 conference.

9783540430674 | Springer-Verlag New York Inc, April 1, 2002, cover price $84.95 | About this edition: Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions.

9783540672036 | Springer Verlag, April 1, 2000, cover price $99.00 | About this edition: This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Theory and Applications of Graph Transformations held in Paderborn, Germany, in November 1998.

9780387578675 | Springer Verlag, April 1, 1994, cover price $59.95 | About this edition: Research in the area of abstract data types started about 20 years ago.

9783540577874 | Springer Verlag, March 28, 1994, cover price $82.95 | About this edition: The research area of graph grammars and graph transformations dates back only two decades.

9780387577876 | Springer Verlag, March 1, 1994, cover price $82.95 | About this edition: The research area of graph grammars and graph transformations dates back only two decades.

9789810212278 | World Scientific Pub Co Inc, November 1, 1993, cover price $63.00 | About this edition: The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability.

9780387544786 | Springer Verlag, December 1, 1991, cover price $111.00 | About this edition: This volume contains papers selected from the contributions to the 4th International Workshop on Graph Grammars and Their Application to Computer Science.

9780387544960 | Springer Verlag, November 1, 1991, cover price $59.95 | About this edition: The algebraic specification of abstract data types is now a well established research topic in computer science.

9780387517995 | Springer Verlag, March 1, 1990, cover price $99.00 | About this edition: Two important new concepts, module specifications and constraints, are introduced in this second volume of a three-volume set on fundamentals of algebraic specification.

9783540517221 | Springer Verlag, October 11, 1989, cover price $71.95 | About this edition: This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin.

9780387187716 | Springer Verlag, January 1, 1988, cover price $93.00 | About this edition: The generic term "graph-grammars" refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps.

9780387176604 | Springer Verlag, April 1, 1987, cover price $39.95

9780387176116 | Springer Verlag, April 1, 1987, cover price $39.95

9783540176114, titled "Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (Cflp)" | Springer Verlag, February 27, 1987, cover price $39.95

9780387137186 | Springer Verlag, July 1, 1985, cover price $103.00 | About this edition: The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms.

9780387151984 | Springer Verlag, June 1, 1985, cover price $44.95

9780387151991 | Springer Verlag, June 1, 1985, cover price $45.00