Hochschulschrift
Algebraische Semantik einer objektorientierten Sprache zur Spezifikation von Hyperdokumenten
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826598159
3826598156
- Dimensions
-
21 cm
- Extent
-
XIV, 246 S.
- Language
-
Deutsch
- Notes
-
Zugl.: Dortmund, Univ., Diss., 2001
- Keyword
-
Hypermedia
Dokument
Algebraische Spezifikation
Semantik
Objektorientierte Programmiersprache
Klassenbibliothek
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Shaker
- (when)
-
2002
- Creator
-
Fronk, Alexander
- 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:16 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.
Object type
- Hochschulschrift
Associated
- Fronk, Alexander
- Shaker
Time of origin
- 2002
Other Objects (12)
Zur kompositionalen Semantik von objekt-orientierten statecharts
Ableitungskalküle und operationale Semantik für algebraische Spezifikationen mit bedingten Gleichungen : totale Algebren
Nichtdeterministische algebraische Spezifikationen
Nichtdeterministische algebraische Spezifikationen
Algebraische Spezifikation : eine Einführung
Algebraische Grundlagen von Syntax und Semantik abstrakter Datentypen
Semantik komponierter modularer logischer Programme mit integrierten objektorientierten Vererbungsmechanismen : (Dissertation)
Spezifikation von objektorientierten Rechten : Erlaubnisse, Verbote, Klassenhierarchien, Prioritäten
Verfeinerung in objektorientierten Spezifikationen : von Aktionen zu Transaktionen
Entwicklung einer Methode zur objektorientierten Spezifikation von Steuerungen
Algebraische Spezifikation und Korrektheit von Compilern
Algebraische Spezifikation und Korrektheit von Compilern
Zur kompositionalen Semantik von objekt-orientierten statecharts
Ableitungskalküle und operationale Semantik für algebraische Spezifikationen mit bedingten Gleichungen : totale Algebren
Nichtdeterministische algebraische Spezifikationen
Nichtdeterministische algebraische Spezifikationen
Algebraische Spezifikation : eine Einführung
Algebraische Grundlagen von Syntax und Semantik abstrakter Datentypen
Semantik komponierter modularer logischer Programme mit integrierten objektorientierten Vererbungsmechanismen : (Dissertation)
Spezifikation von objektorientierten Rechten : Erlaubnisse, Verbote, Klassenhierarchien, Prioritäten
Verfeinerung in objektorientierten Spezifikationen : von Aktionen zu Transaktionen
Entwicklung einer Methode zur objektorientierten Spezifikation von Steuerungen
Algebraische Spezifikation und Korrektheit von Compilern
Algebraische Spezifikation und Korrektheit von Compilern
Zur kompositionalen Semantik von objekt-orientierten statecharts
Ableitungskalküle und operationale Semantik für algebraische Spezifikationen mit bedingten Gleichungen : totale Algebren
Nichtdeterministische algebraische Spezifikationen
Nichtdeterministische algebraische Spezifikationen
Algebraische Spezifikation : eine Einführung
Algebraische Grundlagen von Syntax und Semantik abstrakter Datentypen
Semantik komponierter modularer logischer Programme mit integrierten objektorientierten Vererbungsmechanismen : (Dissertation)
Spezifikation von objektorientierten Rechten : Erlaubnisse, Verbote, Klassenhierarchien, Prioritäten
Verfeinerung in objektorientierten Spezifikationen : von Aktionen zu Transaktionen
Entwicklung einer Methode zur objektorientierten Spezifikation von Steuerungen
Algebraische Spezifikation und Korrektheit von Compilern