- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Interner Bericht des Fachbereich Informatik ; 292
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (when)
-
2017
- Creator
-
Thees, J.
Gotzhein, R.
- URN
-
urn:nbn:de:hbz:386-kluedo-50101
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 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
- Thees, J.
- Gotzhein, R.
- Technische Universität Kaiserslautern, Fachbereich Informatik
Time of origin
- 2017
Other Objects (12)
Design of a Formal Estelle Semantics for Verification
Formal syntax and semantics of Java
Syntax directed semantics : formal models based on tree transducers
Discourse particles : formal approaches to their syntax and semantics
Formal analysis of èto-clefts in Russian: syntax and semantics
Developing formal semantics of epkml
Formal semantics for iconic gesture
Formal Semantics of Asbru - V2.12
A formal semantics for UML interactions
A formal semantics for OCL 1.4
Formal semantics for SDL : definition and implementation
Formal semantics for SDL : definition and implementation
Design of a Formal Estelle Semantics for Verification
Formal syntax and semantics of Java
Syntax directed semantics : formal models based on tree transducers
Discourse particles : formal approaches to their syntax and semantics
Formal analysis of èto-clefts in Russian: syntax and semantics
Developing formal semantics of epkml
Formal semantics for iconic gesture
Formal Semantics of Asbru - V2.12
A formal semantics for UML interactions
A formal semantics for OCL 1.4
Formal semantics for SDL : definition and implementation
Formal semantics for SDL : definition and implementation
Design of a Formal Estelle Semantics for Verification
Formal syntax and semantics of Java
Syntax directed semantics : formal models based on tree transducers
Discourse particles : formal approaches to their syntax and semantics
Formal analysis of èto-clefts in Russian: syntax and semantics
Developing formal semantics of epkml
Formal semantics for iconic gesture
Formal Semantics of Asbru - V2.12
A formal semantics for UML interactions
A formal semantics for OCL 1.4
Formal semantics for SDL : definition and implementation