Fundamentals of algebraic specification, 1.. Equations and initial semantics
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540137184
3540137181
9780387137186
0387137181
- Maße
-
25 cm
- Umfang
-
VII, 321 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
- Erschienen in
-
Fundamentals of algebraic specification
EATCS monographs on theoretical computer sciences / European Association for Theoretical Computer Science ; Vol. 6
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong
- (wer)
-
Springer
- (wann)
-
1985
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:59 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Ehrig, Hartmut
- Springer
Entstanden
- 1985
Ähnliche Objekte (12)
Fundamentals of algebraic graph transformation
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Algebraic specification of modules and configuration families
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
From algebraic module specifications to component concepts and integrated modeling techniques
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Specification and semantics : 08.07. - 12.07.96
Development, specification and semantics of strictly modular systems : (seminar notes) ; presented at the Seminar on State of the Art and Perspectives of Software Technology in Europe, USA and Japan, ICC Berlin, September 1983
Algebraic theory of modular specification development
Algebraic data type and process specifications based on projection spaces
Computing by graph transformation : a survey and annotated bibliography
Attributed graphs and typing : relationship between different representations
Fundamentals of algebraic graph transformation
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Algebraic specification of modules and configuration families
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
From algebraic module specifications to component concepts and integrated modeling techniques
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Specification and semantics : 08.07. - 12.07.96
Development, specification and semantics of strictly modular systems : (seminar notes) ; presented at the Seminar on State of the Art and Perspectives of Software Technology in Europe, USA and Japan, ICC Berlin, September 1983
Algebraic theory of modular specification development
Algebraic data type and process specifications based on projection spaces
Computing by graph transformation : a survey and annotated bibliography
Attributed graphs and typing : relationship between different representations
Fundamentals of algebraic graph transformation
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Algebraic specification of modules and configuration families
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
From algebraic module specifications to component concepts and integrated modeling techniques
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Specification and semantics : 08.07. - 12.07.96
Development, specification and semantics of strictly modular systems : (seminar notes) ; presented at the Seminar on State of the Art and Perspectives of Software Technology in Europe, USA and Japan, ICC Berlin, September 1983
Algebraic theory of modular specification development
Algebraic data type and process specifications based on projection spaces
Computing by graph transformation : a survey and annotated bibliography