Fundamentals of Algebraic Specification 2(Reprint) Module Specifications and Constraints (Monographs in Theoretical Computer Science. An E.A.T.C.S. Series) द्वारा HartmutEhrig, Bernd Mahr Paperback, 444 पन्ने, प्रकाशित 2011 द्वारा Springer-Verlag ISBN-13: 978-3-642-64776-5, ISBN: 3-642-64776-6
"Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software systems have gained considerable importance in recent years. They have not only played a central role in the theory of data type specification, but meanwhile have had a remarkable influence on programming language design, system architectures, ar ..."
"Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. Part I is an introduction to the classical case of g ..."
Graph and Model Transformation(Softcover reprint of the original 1st ed. 2015) General Framework and Applications (Monographs in Theoretical Computer Science. An EATCS Series Softcover reprint of the original 1st ed. 2015) द्वारा Ehrig, Hartmut, Ermel, Claudia, Golas, Ulrike, Hermann, Frank 483 पन्ने, प्रकाशित 2019 द्वारा Springer ISBN-13: 978-3-662-56910-8, ISBN: 3-662-56910-8