PERSIST, ein Programm zur Überprüfung syntaktischer, hinreichender Bedingungen für Persistenz parametrisierter, algebraischer Spezifikationen

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
30 cm
Umfang
XII, 37 Bl.
Sprache
Deutsch
Anmerkungen
graph. Darst.

Erschienen in
Bericht / Technische Universität Berlin ; 85,11 : Institut für Software und Theoretische Informatik

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Techn. Univ., Fachbereich 20
(wann)
1985
Urheber
Langen, Anno

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:42 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Langen, Anno
  • Techn. Univ., Fachbereich 20

Entstanden

  • 1985

Ähnliche Objekte (12)

Endliche Implementierung algebraischer Spezifikationen

Hochschulschrift

Endliche Implementierung algebraischer Spezifikationen

Eine Theorie zur graphischen Visualisierung algebraischer Spezifikationen

Hochschulschrift

Eine Theorie zur graphischen Visualisierung algebraischer Spezifikationen

Ansätze zur Compilation algebraischer Spezifikationen und Termersetzungssystemen

Ansätze zur Compilation algebraischer Spezifikationen und Termersetzungssystemen

Ein algebraischer Ansatz zur Spezifikation von Wächterobjekten

Ein algebraischer Ansatz zur Spezifikation von Wächterobjekten

Termersetzungssysteme : Grundlagen der Prototyp-Generierung algebraischer Spezifikationen

Hochschulschrift

Termersetzungssysteme : Grundlagen der Prototyp-Generierung algebraischer Spezifikationen

Induzierte Korrektheit parametrisierter algebraischer Spezifikationen unter Anwendung kategorieller Methoden

Induzierte Korrektheit parametrisierter algebraischer Spezifikationen unter Anwendung kategorieller Methoden

Hinreichende Spezifikation einer KI-Funktion am Beispiel Fußgängerschutz

Hinreichende Spezifikation einer KI-Funktion am Beispiel Fußgängerschutz

Algebraischer Gegensatz

Kapitel

Algebraischer Gegensatz

Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen

Hochschulschrift

Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen

Sammlung arithmetischer und algebraischer Aufgaben, 2. Sammlung algebraischer Aufgaben

Sammlung arithmetischer und algebraischer Aufgaben, 2. Sammlung algebraischer Aufgaben

Sammlung arithmetischer und algebraischer Aufgaben, 2. Sammlung algebraischer Aufgaben

Sammlung arithmetischer und algebraischer Aufgaben, 2. Sammlung algebraischer Aufgaben

Algebraischer Zusammenhang [...] Grenzen.

Abschnitt

Algebraischer Zusammenhang [...] Grenzen.

Verbundene Objekte