- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
221 Sp.
- Language
-
Deutsch
- Bibliographic citation
-
Interner Bericht / Technische Universität Kaiserslautern ; 83
- Keyword
-
INTAKT
Spezifikation
Implementierung
Algebraische Spezifikation
Implementierung
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Univ., Fachbereich Informatik
- (when)
-
1983
- Creator
-
Grieneisen, Hartmut
- Contributor
- 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:01 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
- Grieneisen, Hartmut
- Universität Kaiserslautern. Fachbereich Informatik
- Univ., Fachbereich Informatik
Time of origin
- 1983
Other Objects (12)
Nichtdeterministische algebraische Spezifikationen
Nichtdeterministische algebraische Spezifikationen
Algebraische Spezifikation : eine Einführung
Algebraische Spezifikation und Korrektheit von Compilern
Algebraische Spezifikation und Korrektheit von Compilern
Spezifikation und abstrakte Implementierung des Aufbereitungsteils von INTAKT
Algebraische Semantik einer objektorientierten Sprache zur Spezifikation von Hyperdokumenten
Intakt
Algebraische Spezifikation in UNIVERS : am Beispiel d. Struktur e. Versionsgraphen
Algebraische Spezifikation mit Nichtdeterminismus aus der Sicht der universellen Algebra
Ein interaktives und syntaxorientiertes Eingabesystem für algebraische Spezifikationen, Bd. 1
Algebraische Functionen und algebraische Gebilde.
Nichtdeterministische algebraische Spezifikationen
Nichtdeterministische algebraische Spezifikationen
Algebraische Spezifikation : eine Einführung
Algebraische Spezifikation und Korrektheit von Compilern
Algebraische Spezifikation und Korrektheit von Compilern
Spezifikation und abstrakte Implementierung des Aufbereitungsteils von INTAKT
Algebraische Semantik einer objektorientierten Sprache zur Spezifikation von Hyperdokumenten
Intakt
Algebraische Spezifikation in UNIVERS : am Beispiel d. Struktur e. Versionsgraphen
Algebraische Spezifikation mit Nichtdeterminismus aus der Sicht der universellen Algebra
Ein interaktives und syntaxorientiertes Eingabesystem für algebraische Spezifikationen, Bd. 1
Algebraische Functionen und algebraische Gebilde.
Nichtdeterministische algebraische Spezifikationen
Nichtdeterministische algebraische Spezifikationen
Algebraische Spezifikation : eine Einführung
Algebraische Spezifikation und Korrektheit von Compilern
Algebraische Spezifikation und Korrektheit von Compilern
Spezifikation und abstrakte Implementierung des Aufbereitungsteils von INTAKT
Algebraische Semantik einer objektorientierten Sprache zur Spezifikation von Hyperdokumenten
Intakt
Algebraische Spezifikation in UNIVERS : am Beispiel d. Struktur e. Versionsgraphen
Algebraische Spezifikation mit Nichtdeterminismus aus der Sicht der universellen Algebra
Ein interaktives und syntaxorientiertes Eingabesystem für algebraische Spezifikationen, Bd. 1