Hochschulschrift
Termersetzungssysteme : Grundlagen der Prototyp-Generierung algebraischer Spezifikationen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540511724
3540511725
9780387511726
0387511725
- Maße
-
25 cm
- Umfang
-
VIII, 152 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Braunschweig, Techn. Univ., Diss., 1987
- Erschienen in
-
Informatik-Fachberichte ; 210
- Schlagwort
-
Termersetzungssystem
Algebraische Spezifikation
Termsystem
Terms of Trade
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo
- (wer)
-
Springer
- (wann)
-
1989
- Urheber
-
Drosten, Klaus
- 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:18 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Drosten, Klaus
- Springer
Entstanden
- 1989
Ähnliche Objekte (12)
Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen
Endliche Implementierung algebraischer Spezifikationen
Automatische Generierung von Schaltkreisen durch strukturelle Analyse algebraischer Systeme
Eine Theorie zur graphischen Visualisierung algebraischer Spezifikationen
Ansätze zur Compilation algebraischer Spezifikationen und Termersetzungssystemen
Ein algebraischer Ansatz zur Spezifikation von Wächterobjekten
Spezifikation und Generierung graphischer Diagrammeditoren
Generierung interaktiver Lerneinheiten aus visuellen Spezifikationen
Induzierte Korrektheit parametrisierter algebraischer Spezifikationen unter Anwendung kategorieller Methoden
Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Generierung von Dokumentverarbeitungssystemen aus formalen Spezifikationen von Dokumentarchitekturen
Algebraischer Gegensatz
Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen
Endliche Implementierung algebraischer Spezifikationen
Automatische Generierung von Schaltkreisen durch strukturelle Analyse algebraischer Systeme
Eine Theorie zur graphischen Visualisierung algebraischer Spezifikationen
Ansätze zur Compilation algebraischer Spezifikationen und Termersetzungssystemen
Ein algebraischer Ansatz zur Spezifikation von Wächterobjekten
Spezifikation und Generierung graphischer Diagrammeditoren
Generierung interaktiver Lerneinheiten aus visuellen Spezifikationen
Induzierte Korrektheit parametrisierter algebraischer Spezifikationen unter Anwendung kategorieller Methoden
Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Generierung von Dokumentverarbeitungssystemen aus formalen Spezifikationen von Dokumentarchitekturen
Algebraischer Gegensatz
Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen
Endliche Implementierung algebraischer Spezifikationen
Automatische Generierung von Schaltkreisen durch strukturelle Analyse algebraischer Systeme
Eine Theorie zur graphischen Visualisierung algebraischer Spezifikationen
Ansätze zur Compilation algebraischer Spezifikationen und Termersetzungssystemen
Ein algebraischer Ansatz zur Spezifikation von Wächterobjekten
Spezifikation und Generierung graphischer Diagrammeditoren
Generierung interaktiver Lerneinheiten aus visuellen Spezifikationen
Induzierte Korrektheit parametrisierter algebraischer Spezifikationen unter Anwendung kategorieller Methoden
Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Generierung von Dokumentverarbeitungssystemen aus formalen Spezifikationen von Dokumentarchitekturen