{"title":"Hartmut Ehrig","description":null,"products":[{"product_id":"fundamentals-of-algebraic-graph-transformation-book-hartmut-ehrig-9783540311874","title":"Fundamentals of Algebraic Graph Transformation","description":"\u003cp\u003eGraphs 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.\u003c\/p\u003e\n\u003cp\u003ePart I is an introduction to the classical case of graph and typed graph transformation. In Part II basic and advanced results are first shown for an abstract form of replacement systems, so-called adhesive high-level replacement systems based on category theory, and are then instantiated to several forms of graph and Petri net transformation systems. Part III develops typed attributed graph transformation, a technique of key relevance in the modeling of visual languages and in model transformation. Part IV contains a practical case study on model transformation and a presentation of the AGG (attributed graph grammar) tool environment. Finally the appendix covers the basics of category theory, signatures and algebras.\u003c\/p\u003e\n\u003cp\u003eThe book addresses both research scientists and graduate students in computer science, mathematics and engineering.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49711411757329,"sku":"CIN0831125756G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ WELL_READ \/ SBYB","offer_id":49724532556049,"sku":"CIN0831125756A","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":49916691546385,"sku":"CIN0831125756VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52598318039313,"sku":"NLS9783540311874","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0831125756.jpg?v=1751127228"},{"product_id":"mathematisch-strukturelle-grundlagen-der-informatik-book-hartmut-ehrig-9783540419235","title":"Mathematisch-strukturelle Grundlagen der Informatik","description":"Im Mittelpunkt des Buches stehen die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Pr dikatenlogik. Sie sind f r das Verst ndnis des formalisierten Probleml sens entscheidend und damit f r den Informatiker unerl  lich. Eine Einf hrung in die intuitive Mengentheorie vermittelt die notwendigen mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen werden algebraische Strukturen in der Informatik behandelt. Au erdem stellt das Buch Aussagen- und Pr dikatenlogik aus der Sicht der Mathematik und Informatik dar. Die Kategorientheorie f r Informatiker f hrt schlie lich in die Welt der Abstraktion ein.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52127206965521,"sku":"NLS9783540419235","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540419235.jpg?v=1785900122"},{"product_id":"recent-trends-in-data-type-specification-book-hartmut-ehrig-9783540578673","title":"Recent Trends in Data Type Specification","description":"Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. \u003cbr\u003eThe main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52137124692241,"sku":"NLS9783540578673","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540578673.jpg?v=1786088151"},{"product_id":"recent-trends-in-data-type-specification-book-hartmut-ehrig-9783540544968","title":"Recent Trends in Data Type Specification","description":"The algebraic specification of abstract data types is now awell establishedresearch topic in computer science. The main topics covered by theworkshop were:- Modularization- Object orientation- Higher-order types anddependent types- Inductive completion- Algebraic high-level nets.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52148123435281,"sku":"NLS9783540544968","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540544968.jpg?v=1757602656"},{"product_id":"formal-methods-and-software-development-proceedings-of-the-international-joint-c-book-hartmut-ehrig-9783540151999","title":"Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985","description":null,"brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52148783546641,"sku":"NLS9783540151999","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540151999.jpg?v=1786089428"},{"product_id":"graph-grammars-and-their-application-to-computer-science-book-hartmut-ehrig-9783540544784","title":"Graph Grammars and Their Application to Computer Science","description":"This volume contains papers selected from the contributionsto the 4th International Workshop on Graph Grammars andTheir Application to Computer Science. It is intended toprovide a rich source of information on the stateof the artand newest trends to researchers active in the area and forscientists who would like to know more about graph grammars. The topics of the papers range from foundations throughalgorithmic and implemental aspects to various issues thatarise in application areas like concurrent computing,functional and logic programming, software engineering,computer graphics, artificial intelligence and biology. Thecontributing authors are F. -J. Brandenburg, H. Bunke, T. C. Chen, M. Chytil, B. Courcelle, J. Engelfriet, H. G","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52149213659409,"sku":"NLS9783540544784","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540544784.jpg?v=1757606090"},{"product_id":"mathematical-foundations-of-software-development-proceedings-of-the-internationa-book-hartmut-ehrig-9783540151982","title":"Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985","description":null,"brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52151259529489,"sku":"NLS9783540151982","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540151982.jpg?v=1786791852"},{"product_id":"tapsoft-87-proceedings-of-the-international-joint-conference-on-theory-and-pract-book-hartmut-ehrig-9783540176602","title":"TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52327399391505,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52327400276241,"sku":"NLS9783540176602","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540176602.jpg?v=1786791378"},{"product_id":"graph-grammars-and-their-application-to-computer-science-book-hartmut-ehrig-9783540187714","title":"Graph-Grammars and Their Application to Computer Science","description":"The generic term graph-grammars refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps. The area of graph-grammars originated in the late 60s motivated by considerations concerning pattern recognition - since then the list of areas which have interacted with the development of graph-grammars has grown quite impressively. It includes pattern recognition, software specification and development, VLSI layout schemes, data bases, lambda-calculus, analysis of concurrent systems, massively parallel computer architectures, incremental compilers, computer animation, complexity theory, developmental biology, music composition, representation of physical solids, and many others. This volume is based on the contributions presented at the third international workshop on graph-grammars and their applications, held in Warrenton, Virginia, USA in December 1986. Aiming at the best possible representation of the field not all of the papers presented at the meeting appear in this volume and some of the papers from this volume were not presented at the workshop. The volume consists of two parts: Part I presents tutorial introductions to a number of basic graph and map rewriting mechanisms. Part I contains technical contributions. This collection of papers provides the reader with an up-to-date overview of current trends in graph-grammars.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52327405945105,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52327406534929,"sku":"NLS9783540187714","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540187714.jpg?v=1758062398"},{"product_id":"tapsoft-87-proceedings-of-the-international-joint-conference-on-theory-and-pract-book-hartmut-ehrig-9783540176114","title":"TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52327467843857,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52327468269841,"sku":"NLS9783540176114","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540176114.jpg?v=1786791664"},{"product_id":"integration-of-software-specification-techniques-for-applications-in-engineering-book-hartmut-ehrig-9783540231356","title":"Integration of Software Specification Techniques for Applications in Engineering","description":"This volume is a documentation of the main results in the research area \"In- gration of Software Speci?cation Techniques for Applications in Engineering\". On one hand it is based on the Priority Program \"Integration von Techniken der Softwarespezi?kation fur .. ingenieurwissenschaftliche Anwendungen\", short Soft- Spez,oftheGermanResearchCouncil(DFG). Ontheotherhanditcontainsnew contributions of international experts in this research area, some of which were presented at the third international workshop INT 2004 on \"Integration of Sp- i?cation Techniques for Applications in Engineering\". INT 2004 was launched as a satellite event of ETAPS in Barcelona, the \"European Joint Conferences on Theory and Practice of Software\". The Priority Program SoftSpez was initiated by W. Brauer, M. Broy, H. Ehrig, H. J. Kreowski, H. Reichel, and H. Weber concerning di?erent aspects from computer science, and by E. Schnieder and E. Westk. amper concerning two main application areas in engineering, namely \"Tra?c Control Systems\" and \"Production Automation\". After acceptance of SoftSpez by the German Research Council for the period of 1998-2004 a call for speci?c projects within this priority program was launched, where 11 projects from about 75 project proposals were accepted for a period of two years.\nSince 1998 each year the main research proposals and results of the projects have been presented at an annual colloquium of the priority program, and every two years the projects have been evaluated by an independent group of referees appointed by the G- man Research Council. At this point we would like to thank A.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52345839452433,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52345843187985,"sku":"NLS9783540231356","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540231356.jpg?v=1785987466"},{"product_id":"petri-net-technology-for-communication-based-systems-book-hartmut-ehrig-9783540205388","title":"Petri Net Technology for Communication-Based Systems","description":"This volume, Petri Net Technology for Communication-Based Systems, is a state-of-the-artreportin the seriesAdvances in Petri Nets. It showshowvarious well-established and new Petri net notions and techniques can be used for m- elingcommunication-basedsystems, withspecialfocusonwork?owmanagement and business processes. In the last 6 years this topic has been studied by the DFG Forschergruppe Petri Net Technology in Berlin in close cooperation with the international c- munity. The main results of this cooperation were presented at the 1st and 2nd InternationalColloquiaonPetriNetTechnologiesforModelingCommunication- Based Systems, held in Berlin in 1999 and 2001, respectively. A careful selection of contributions by members of the DFG Forschergruppe and by international experts in this ?eld are presented in this volume. Taking into account the fru- ful discussions during the two colloquia and the cross-refereeing process for the accepted papers, a high degree of common understanding was achieved, leading to a highly comprehensive presentation in this volume. The topics of the papers in this volume can be roughly classi?ed into the following two areas: - Petri net technology and - application to communication-based systems. Since most papers comprise aspects of both areas, we chose an alphabetic order. However, in the following we give a rough overview of the contributions in both areas according to the main focus of the corresponding papers.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52352046072081,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52352049742097,"sku":"NLS9783540205388","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540205388.jpg?v=1786051272"},{"product_id":"theory-and-application-of-graph-transformations-book-hartmut-ehrig-9783540672036","title":"Theory and Application of Graph Transformations","description":"Theareaofgraphtransformationoriginatedinthelate1960sunderthename graph grammars - the main motivation came from practical considerations concerning pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph transformation has grown impressively. The areas include: software speci?cation and development, VLSI layout schemes, database design, modeling of concurrent systems, m- sively parallel computer architectures, logic programming, computer animation, developmentalbiology, musiccomposition, distributedsystems, speci?cationl- guages, software and web engineering, and visual languages. As a matter of fact, graph transformation is now accepted as a fundamental computation paradigm where computation includes speci?cation, programming, and implementation. Over the last three decades the area of graph transfor- tion has developed at a steady pace into a theoretically attractive research ?eld, important for applications. Thisvolume consistsofpapersselectedfromcontributionsto the Sixth Int- national Workshop on Theory and Applications of Graph Transformation that took place in Paderborn, Germany, November 16-20, 1998. The papers und- went an additional refereeing process which yielded 33 papers presented here (out of 55 papers presented at the workshop). This collection of papers provides a very broad snapshot of the state of the art of the whole ?eld today. They are grouped into nine sections representing most active research areas. Theworkshopwasthe sixth in a seriesof internationalworkshopswhich take place every four years. Previous workshops were called Graph Grammars and Their Application to Computer Science. The new name of the Sixth Workshop re?ectsmoreaccuratelythecurrentsituation, whereboththeoryandapplication play an equally central role.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52352286753041,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52352287211793,"sku":"NLS9783540672036","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540672036.jpg?v=1785955579"},{"product_id":"graph-transformations-book-hartmut-ehrig-9783540232070","title":"Graph Transformations","description":"ICGT 2004 was the 2nd International Conference on Graph Transformation, following the ?rst one in Barcelona (2002), and a series of six international workshops on graph grammars with applications in computer science between 1978 and 1998. ICGT 2004 was held in Rome (Italy), Sept. 29-Oct. 1, 2004 under the auspices of the European Association for Theoretical Computer S- ence (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP WG 1.3, Foundations of Systems Speci'cation. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams, visual sentences and others) that are useful when - scribing complex structures and systems in a direct and intuitive way. These structures are often augmented with formalisms that add to the static descr- tion a further dimension, allowing for the modelling of the evolution of systems via all kinds of transformations of such graphical structures. The ?eld of graph transformation is concerned with the theory, applications, and implementation issues of such formalisms. The theory is strongly related to areas such as graph theory and graph - gorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal speci'cation and veri'cation, logic, and semantics. The application areas include all those ?elds of computer science, information processing,engineering,andthe naturalsciences wherestatic anddynamicm- elling using graphical structures and graph transformations, respectively, play important roles. In many of these areas tools based on graph transformation technology have been implemented and used.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52353801847057,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52353802338577,"sku":"NLS9783540232070","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540232070.jpg?v=1786091866"},{"product_id":"fundamentals-of-algebraic-specification-2-book-hartmut-ehrig-9783642647765","title":"Fundamentals of Algebraic Specification 2","description":"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, arid software tools and environments. The fundamentals of algebraic specification lay a basis for teaching, research, and development in all those fields of computer science where algebraic techniques are the subject or are used with advantage on a conceptual level. Such a basis, however, we do not regard to be a synopsis of all the different approaches and achievements but rather a consistently developed theory. Such a theory should mainly emphasize elaboration of basic concepts from one point of view and, in a rigorous way, reach the state of the art in the field. We understand fundamentals in this context as: 1. Fundamentals in the sense of a carefully motivated introduction to algebraic specification, which is understandable for computer scientists and mathematicians. 2. Fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs. 3. Fundamentals in the sense of concepts from computer science, which are introduced on a conceptual level and formalized in mathematical terms.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52354267480337,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52354271445265,"sku":"NLS9783642647765","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642647765.jpg?v=1786090927"},{"product_id":"categorical-methods-in-computer-science-book-hartmut-ehrig-9783540517221","title":"Categorical Methods in Computer Science","description":"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.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52354320761105,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52354324431121,"sku":"NLS9783540517221","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540517221.jpg?v=1785923665"},{"product_id":"unifying-petri-nets-book-hartmut-ehrig-9783540430674","title":"Unifying Petri Nets","description":"Research on Petri nets has diverged in many different directions. This survey presents the relevant approaches to unifying Petri nets in a systematic and coherent way. The chapters are organized in topical sections on application-oriented approaches, unifying frameworks, and theoretical approaches.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52392625406225,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52392625996049,"sku":"NLS9783540430674","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540430674.jpg?v=1758579907"},{"product_id":"fundamentals-of-algebraic-graph-transformation-book-hartmut-ehrig-9783642068317","title":"Fundamentals of Algebraic Graph Transformation","description":"This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. Basic and advanced results are first shown for an abstract form of replacement systems and are then instantiated to several forms of graph and Petri net transformation systems.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52425028567313,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52425029091601,"sku":"NLS9783642068317","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642068317.jpg?v=1786072509"},{"product_id":"graph-transformations-book-hartmut-ehrig-9783642159275","title":"Graph Transformations","description":"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. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph transformation and their application to a variety of domains. The biannual International Conferences on Graph Transformation aim at bringingtogetherresearchersandpractitionersinterestedin the foundations and applicationsof graphtransformation.The ?fth conference,ICGT 2010,was held at the University of Twente (The Netherlands) in September\/October 2010, alongwith severalsatellite events.It continuedthe line ofconferences previously held in Barcelona (Spain) in 2002, Rome (Italy) 2004, Natal (Brazil) in 2006 and Leicester (UK) in 2008, as well as a series of six International Workshops on Graph Transformation with Applications in Computer Science from 1978 to 1998. Also, ICGT alternates with the workshop series on Application of Graph Transformation with Industrial Relevance (AGTIVE). The conference was held under the auspices of EATCS and EASST.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52584082669841,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52584083259665,"sku":"NLS9783642159275","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642159275.jpg?v=1787133001"},{"product_id":"graph-and-model-transformation-book-hartmut-ehrig-9783662569108","title":"Graph and Model Transformation","description":"This book is a comprehensive explanation of graph and model transformation. Then in the main part the book contains detailed chapters on M-adhesive categories, M-adhesive transformation systems, and multi-amalgamated transformations, and model transformation based on triple graph grammars.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52588206129425,"sku":"NLS9783662569108","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783662569108.jpg?v=1785918853"},{"product_id":"fundamentals-of-algebraic-specification-2-book-hartmut-ehrig-9783540517993","title":"Fundamentals of Algebraic Specification 2","description":"Two important new concepts, module specifications and constraints, are introduced in this second volume of a three-volume set on fundamentals of algebraic specification. These concepts are motivated by problems in practical software development and are studied here from a theoretical point of view. Modularization is one of the main structuring principles in software development. Modules and module specifications can be seen as the basic building blocks which are used in modularization of software systems and software system specification. Constraints are introduced to increase the expressive power of algebraic specifications in order to make them more useful for practical applications. The book is suitable both as a textbook for graduate courses in formal specification of data types and software systems and as a reference for researchers and system developers.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52618216472849,"sku":"NLS9783540517993","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540517993.jpg?v=1761532521"},{"product_id":"graph-transformations-book-hartmut-ehrig-9783540874041","title":"Graph Transformations","description":"This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008. The 27 revised full papers presented together with 5 tutorial and workshop papers and 3 invited lectures were carefully selected from 57 submissions. All current aspects in graph drawing are addressed including hypergraphs and termgraph rewriting, applications of graph transformation, execution of graph transformations, compositional systems, validation and verification, graph languages and special transformation concepts, as well as patterns and model transformations. In addition the volume contains 17 short papers of the ICGT 2008 Doctoral Symposium.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52618382541073,"sku":"NLS9783540874041","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540874041.jpg?v=1785962419"},{"product_id":"kategorien-und-automate-book-hartmut-ehrig-9783110039023","title":"Kategorien und Automate","description":"Keine ausführliche Beschreibung für \"Kategorien und Automate\" verfügbar.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52619966316817,"sku":"NLS9783110039023","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783110039023.jpg?v=1761537298"},{"product_id":"fundamentals-of-algebraic-specification-1-book-hartmut-ehrig-9783642699641","title":"Fundamentals of Algebraic Specification 1","description":"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. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52634006552849,"sku":"NLS9783642699641","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642699641.jpg?v=1786095281"},{"product_id":"graph-transformations-book-hartmut-ehrig-9783662181645","title":"Graph Transformations","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52668237349137,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52668237971729,"sku":"NLS9783662181645","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783662181645.jpg?v=1762284524"},{"product_id":"graph-transformation-book-hartmut-ehrig-9783642336539","title":"Graph Transformation","description":"This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52676531093777,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52676531880209,"sku":"NLS9783642336539","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642336539.jpg?v=1786700144"},{"product_id":"graph-and-model-transformation-book-hartmut-ehrig-9783662479797","title":"Graph and Model Transformation","description":"This book is a comprehensive explanation of graph and model transformation. Then in the main part the book contains detailed chapters on M-adhesive categories, M-adhesive transformation systems, and multi-amalgamated transformations, and model transformation based on triple graph grammars.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":53522640666897,"sku":"NLS9783662479797","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783662479797.jpg?v=1787828824"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-hartmut-ehrig.oembed?page=2","provider":"World of Books ","version":"1.0","type":"link"}