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.

9783642699641 | Reprint edition (Springer-Verlag New York Inc, November 23, 2011), cover price $149.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.

9783642159275 | Springer-Verlag New York Inc, October 11, 2010, cover price $109.00 | About this edition: Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences.

9783540874041 | Springer-Verlag New York Inc, September 1, 2008, cover price $139.00

9783540388708 | Springer-Verlag New York Inc, October 15, 2006, cover price $129.00

9783540232070 | Springer-Verlag New York Inc, November 15, 2004, cover price $129.00

9783540231356 | Springer-Verlag New York Inc, November 15, 2004, cover price $129.00 | About this edition: This volume is a documentation of the main results in the research area "In- gration of Software Speci?

9783540205388 | Springer Verlag, January 1, 2004, cover price $129.00

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

9783540430674 | Springer-Verlag New York Inc, April 1, 2002, cover price $129.00 | 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 $129.00 | About this edition: Theareaofgraphtransformationoriginatedinthelate1960sunderthename “graph grammars” – the main motivation came from practical considerations concerning pattern recognition and compiler construction.

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 $119.00 | 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 $67.00

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.

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 $109.00 | 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

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 $49.99

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

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