- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
93 S.
- Edition
-
(Rev. version)
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 89 - 93
- Bibliographic citation
-
Bericht / Christian-Albrechts-Universität zu Kiel ; Nr. 8506
- Event
-
Veröffentlichung
- (where)
-
Kiel
- (who)
-
Inst. für Informatik u. Prakt. Mathematik
- (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.06.2025, 2:22 PM CEST
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
- Olderog, Ernst-Rüdiger
- Hoare, Charles A. R.
- Inst. für Informatik u. Prakt. Mathematik
Time of origin
- 1985
Other Objects (12)
Communicating rational agents: semantics and verification
Compositionality of application oriented structuring mechanisms for algebraic specification languages with initial semantics
Specification and semantics : 08.07. - 12.07.96
Semantics of form oriented analysis
Semantics of form oriented analysis
Object coordination nets 3.0, [...]. Semantics specification
Process theory: semantics, specification and verification
CHASID: a semantics oriented authoring environment
Two net oriented semantics for TCSP
Algebraic semantics for object oriented modelling
A type oriented approach to the specification and formal semantics of a distributed, heterogeneous object system
Methods for semantics and specification : 05.06. - 09.06.95
Communicating rational agents: semantics and verification
Compositionality of application oriented structuring mechanisms for algebraic specification languages with initial semantics
Specification and semantics : 08.07. - 12.07.96
Semantics of form oriented analysis
Semantics of form oriented analysis
Object coordination nets 3.0, [...]. Semantics specification
Process theory: semantics, specification and verification
CHASID: a semantics oriented authoring environment
Two net oriented semantics for TCSP
Algebraic semantics for object oriented modelling
A type oriented approach to the specification and formal semantics of a distributed, heterogeneous object system
Methods for semantics and specification : 05.06. - 09.06.95
Communicating rational agents: semantics and verification
Compositionality of application oriented structuring mechanisms for algebraic specification languages with initial semantics
Specification and semantics : 08.07. - 12.07.96
Semantics of form oriented analysis
Semantics of form oriented analysis
Object coordination nets 3.0, [...]. Semantics specification
Process theory: semantics, specification and verification
CHASID: a semantics oriented authoring environment
Two net oriented semantics for TCSP
Algebraic semantics for object oriented modelling
A type oriented approach to the specification and formal semantics of a distributed, heterogeneous object system