- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
221 Sp.
- Sprache
-
Deutsch
- Erschienen in
-
Interner Bericht / Technische Universität Kaiserslautern ; 83
- Schlagwort
-
INTAKT
Spezifikation
Implementierung
Algebraische Spezifikation
Implementierung
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Univ., Fachbereich Informatik
- (wann)
-
1983
- Urheber
-
Grieneisen, Hartmut
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:01 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Grieneisen, Hartmut
- Universität Kaiserslautern. Fachbereich Informatik
- Univ., Fachbereich Informatik
Entstanden
- 1983
Ähnliche Objekte (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