- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
V, 177 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Berlin, Humboldt-Univ., Habil.-Schr., 2001
- Bibliographic citation
-
Informatik-Berichte ; Nr. 155
- Keyword
-
SDL
Formale Semantik
Abstrakte Zustandsmaschine
Mehragentensystem
Compiler
Implementierung
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Professoren des Inst. für Informatik
- (when)
-
2001
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
2025-06-11T13:36:02+0200
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.
Object type
- Hochschulschrift
Associated
- Prinz, Andreas
- Professoren des Inst. für Informatik
Time of origin
- 2001
Other Objects (12)
Formal semantics for SDL : definition and implementation
SDL Profiles - Definition and Formal Extraction
Definition of the formal semantics of control state diagrams and implementation of a graphical editor
Formal Semantics of Asbru - V2.12
Formal semantics for iconic gesture
Developing formal semantics of epkml
Toward bridging the gap between formal semantics and implementation of triple graph grammars
Executable hybridUML semantics : a transformation definition
Formal syntax and semantics of Java
A formal semantics for OCL 1.4
A formal semantics for UML interactions
A Formal Syntax and a Formal Semantics for Open Estelle
Formal semantics for SDL : definition and implementation
SDL Profiles - Definition and Formal Extraction
Definition of the formal semantics of control state diagrams and implementation of a graphical editor
Formal Semantics of Asbru - V2.12
Formal semantics for iconic gesture
Developing formal semantics of epkml
Toward bridging the gap between formal semantics and implementation of triple graph grammars
Executable hybridUML semantics : a transformation definition
Formal syntax and semantics of Java
A formal semantics for OCL 1.4
A formal semantics for UML interactions
A Formal Syntax and a Formal Semantics for Open Estelle
Formal semantics for SDL : definition and implementation
SDL Profiles - Definition and Formal Extraction
Definition of the formal semantics of control state diagrams and implementation of a graphical editor
Formal Semantics of Asbru - V2.12
Formal semantics for iconic gesture
Developing formal semantics of epkml
Toward bridging the gap between formal semantics and implementation of triple graph grammars
Executable hybridUML semantics : a transformation definition
Formal syntax and semantics of Java
A formal semantics for OCL 1.4
A formal semantics for UML interactions