- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540137184
3540137181
9780387137186
0387137181
- Dimensions
-
25 cm
- Extent
-
VII, 321 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
- Bibliographic citation
-
Fundamentals of algebraic specification
EATCS monographs on theoretical computer sciences / European Association for Theoretical Computer Science ; Vol. 6
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong
- (who)
-
Springer
- (when)
-
1985
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:19 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Ehrig, Hartmut
- Springer
Time of origin
- 1985
Other Objects (12)
Compositionality of application oriented structuring mechanisms for algebraic specification languages with initial semantics
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Algebraic specification
ACT one: an algebraic specification language with two levels of semantics
Algebraic approaches to program semantics
Fundamentals of algebraic graph transformation
Specification and semantics : 08.07. - 12.07.96
Relational algebraic semantics of funktional programs
Algebraic semantics for object oriented modelling
Algebraic foundations of systems specification
Specification-oriented semantics for communicating processes
Process theory: semantics, specification and verification
Compositionality of application oriented structuring mechanisms for algebraic specification languages with initial semantics
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Algebraic specification
ACT one: an algebraic specification language with two levels of semantics
Algebraic approaches to program semantics
Fundamentals of algebraic graph transformation
Specification and semantics : 08.07. - 12.07.96
Relational algebraic semantics of funktional programs
Algebraic semantics for object oriented modelling
Algebraic foundations of systems specification
Specification-oriented semantics for communicating processes
Process theory: semantics, specification and verification
Compositionality of application oriented structuring mechanisms for algebraic specification languages with initial semantics
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Algebraic specification
ACT one: an algebraic specification language with two levels of semantics
Algebraic approaches to program semantics
Fundamentals of algebraic graph transformation
Specification and semantics : 08.07. - 12.07.96
Relational algebraic semantics of funktional programs
Algebraic semantics for object oriented modelling
Algebraic foundations of systems specification
Specification-oriented semantics for communicating processes