Fortell venner om denne varen:
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen / Dosse, Germany, April 17-20, 1990. Proceedings (Workshop Proceedings) - Lecture Notes in Computer Science
Hartmut Ehrig
Pris
NOK 559
Bestillingsvarer
Forventes levert 24. okt - 3. nov
Legg til iMusic ønskeliste
eller
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen / Dosse, Germany, April 17-20, 1990. Proceedings (Workshop Proceedings) - Lecture Notes in Computer Science
Hartmut Ehrig
Contains the proceedings of a workshop on specification of abstract data types. This volume includes topics such as: modularization, object orientation, higher-order types and dependent types, inductive completion, and algebraic high-level nets.
384 pages, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 11. september 1991 |
| ISBN13 | 9783540544968 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 384 |
| Mål | 155 × 233 × 20 mm · 553 g |
| Språk | Tysk |
| Redaktør | Ehrig, Hartmut |
| Redaktør | Jantke, K.p. |
| Redaktør | Orejas, Fernando |
| Redaktør | Reichel, Horst |
![Cover for Hartmut Ehrig · Graph and Model Transformation: General Framework and Applications - Monographs in Theoretical Computer Science. An EATCS Series (Pocketbok) [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-pocketbok&class=scaled&v=1603998766)
![Cover for Hartmut Ehrig · Graph and Model Transformation: General Framework and Applications - Monographs in Theoretical Computer Science. An EATCS Series (Innbunden bok) [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-innbunden-bok&class=scaled&v=1527190487)
![Cover for Hartmut Ehrig · Graph Transformation: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings - Theoretical Computer Science and General Issues (Pocketbok) [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-theoretical-computer-science-and-general-issues-pocketbok&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 (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1543905990)
![Cover for Hartmut Ehrig · Fundamentals of Algebraic Graph Transformation - Monographs in Theoretical Computer Science : an Eatcs Series (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1547797061)
![Cover for Hartmut Ehrig · Petri Net Technology for Communication-Based Systems: Advances in Petri Nets - Lecture Notes in Computer Science (Pocketbok) [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-pocketbok&class=scaled&v=1443817862)
![Cover for Hartmut Ehrig · Mathematisch-strukturelle Grundlagen Der Informatik (Pocketbok) [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-pocketbok&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 (Innbunden bok) [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-innbunden-bok&class=scaled&v=1478372243)
![Cover for Hartmut Ehrig · Categorical Methods in Computer Science: With Aspects from Topology - Lecture Notes in Computer Science (Pocketbok) [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-pocketbok&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 (Pocketbok) [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)
![Cover for Hartmut Ehrig · 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 (Pocketbok) [1985 edition] (1985)](https://imusic.b-cdn.net/images/item/original/999/9783540151999.jpg?hartmut-ehrig-1985-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-com&class=scaled&v=1605848857)
