Freunden von diesem Artikel berichten:
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 2: Colloquium on Software Engineering (CSE) - Lecture Notes in Computer Hartmut Ehrig 1985 edition
Preis
SFr. 42,49
exkl. MwSt.
Bestellware
Lieferdatum: ca. 31. Dez - 5. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 2: Colloquium on Software Engineering (CSE) - Lecture Notes in Computer
Hartmut Ehrig
476 pages, biography
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 1. März 1985 |
| ISBN13 | 9783540151999 |
| Verlag | Springer-Verlag Berlin and Heidelberg Gm |
| Seitenanzahl | 459 |
| Maße | 155 × 235 × 24 mm · 662 g |
| Sprache | Deutsch |
| Redakteur | Ehrig, Hartmut |
| Redakteur | Floyd, Christiane |
| Redakteur | Nivat, Maurice |
| Redakteur | Thatcher, James |
Weitere Titel von Hartmut Ehrig
Alle anzeigen![Cover for Hartmut Ehrig · Graph and Model Transformation: General Framework and Applications - Monographs in Theoretical Computer Science. An EATCS Series (Taschenbuch) [Softcover reprint of the original 1st ed. 2015 edition] (2019)](https://imusic.b-cdn.net/images/item/original/108/9783662569108.jpg?hartmut-ehrig-2019-graph-and-model-transformation-general-framework-and-applications-monographs-in-theoretical-computer-science-an-eatcs-series-taschenbuch&class=scaled&v=1603998766)
![Cover for Hartmut Ehrig · Graph and Model Transformation: General Framework and Applications - Monographs in Theoretical Computer Science. An EATCS Series (Gebundenes Buch) [1st ed. 2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/797/9783662479797.jpg?hartmut-ehrig-2015-graph-and-model-transformation-general-framework-and-applications-monographs-in-theoretical-computer-science-an-eatcs-series-gebundenes-buch&class=scaled&v=1527190487)
![Cover for Hartmut Ehrig · Graph Transformation: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/539/9783642336539.jpg?hartmut-ehrig-2012-graph-transformation-6th-international-conference-icgt-2012-bremen-germany-september-24-29-2012-proceedings-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1437906689)
![Cover for Hartmut Ehrig · Fundamentals of Algebraic Specification 1: Equations and Initial Semantics - Monographs in Theoretical Computer Science. An EATCS Series (Taschenbuch) [Softcover reprint of the original 1st ed. 1985 edition] (2011)](https://imusic.b-cdn.net/images/item/original/641/9783642699641.jpg?hartmut-ehrig-2011-fundamentals-of-algebraic-specification-1-equations-and-initial-semantics-monographs-in-theoretical-computer-science-an-eatcs-series-taschenbuch&class=scaled&v=1543877329)
![Cover for Hartmut Ehrig · Fundamentals of Algebraic Specification 2: Module Specifications and Constraints - Monographs in Theoretical Computer Science. An EATCS Series (Taschenbuch) [Softcover reprint of the original 1st ed. 1990 edition] (2011)](https://imusic.b-cdn.net/images/item/original/765/9783642647765.jpg?hartmut-ehrig-2011-fundamentals-of-algebraic-specification-2-module-specifications-and-constraints-monographs-in-theoretical-computer-science-an-eatcs-series-taschenbuch&class=scaled&v=1543905990)
![Cover for Hartmut Ehrig · Fundamentals of Algebraic Graph Transformation - Monographs in Theoretical Computer Science : an Eatcs Series (Taschenbuch) [1st Ed. Softcover of Orig. Ed. 2006 edition] (2010)](https://imusic.b-cdn.net/images/item/original/317/9783642068317.jpg?hartmut-ehrig-2010-fundamentals-of-algebraic-graph-transformation-monographs-in-theoretical-computer-science-an-eatcs-series-taschenbuch&class=scaled&v=1408464671)
![Cover for Hartmut Ehrig · Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/041/9783540874041.jpg?hartmut-ehrig-2008-graph-transformations-4th-international-conference-icgt-2008-leicester-united-kingdom-september-7-13-2008-proceedings-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1547797061)
![Cover for Hartmut Ehrig · Petri Net Technology for Communication-Based Systems: Advances in Petri Nets - Lecture Notes in Computer Science (Taschenbuch) [2003 edition] (2003)](https://imusic.b-cdn.net/images/item/original/388/9783540205388.jpg?hartmut-ehrig-2003-petri-net-technology-for-communication-based-systems-advances-in-petri-nets-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1443817862)
![Cover for Hartmut Ehrig · Mathematisch-strukturelle Grundlagen Der Informatik (Taschenbuch) [German, 2. Aufl. 2001 edition] (2001)](https://imusic.b-cdn.net/images/item/original/235/9783540419235.jpg?hartmut-ehrig-2001-mathematisch-strukturelle-grundlagen-der-informatik-taschenbuch&class=scaled&v=1513990772)
![Cover for Hartmut Ehrig · Fundamentals of Algebraic Specification 2: Module Specifications and Constraints - Monographs in Theoretical Computer Science. An EATCS Series (Gebundenes Buch) [1990 edition] (1989)](https://imusic.b-cdn.net/images/item/original/993/9783540517993.jpg?hartmut-ehrig-1989-fundamentals-of-algebraic-specification-2-module-specifications-and-constraints-monographs-in-theoretical-computer-science-an-eatcs-series-gebundenes-buch&class=scaled&v=1478372243)
![Cover for Hartmut Ehrig · Categorical Methods in Computer Science: With Aspects from Topology - Lecture Notes in Computer Science (Taschenbuch) [1989 edition] (1989)](https://imusic.b-cdn.net/images/item/original/221/9783540517221.jpg?hartmut-ehrig-1989-categorical-methods-in-computer-science-with-aspects-from-topology-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1595519607)
![Cover for Hartmut Ehrig · Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) - L (Taschenbuch) [1985 edition] (1985)](https://imusic.b-cdn.net/images/item/original/982/9783540151982.jpg?hartmut-ehrig-1985-mathematical-foundations-of-software-development-proceedings-of-the-international-joint-conference-on-theory-and-practice-of-software-development-tapsoft-berlin-march-25-29-1985-volume-1-colloquium-on-trees-in-algebra-and-programming-caa&class=scaled&v=1604781289)
Alle Titel von Hartmut Ehrig ansehen ( u. a. Taschenbuch , Gebundenes Buch und Buch )