Hochschulschrift
Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826533839
3826533836
- Maße
-
21 cm
- Umfang
-
220 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Kaiserslautern, Univ., Diss., 1997
- Schlagwort
-
Dialogsystem
Steuerungssystem
Formale Spezifikationstechnik
Temporale Logik
Logische Programmierung
Programmsynthese
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:09 MEZ
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
- Malik, Robi
- Shaker
Entstanden
- 1998
Ähnliche Objekte (12)
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Automatische Synthese des Französischen aus einer logischen Basis
Zweyter Abschnitt. Vom logischen Sinn und logischen Gefühl
Zur logischen Frage
Die logischen Grundlagen
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Spezifikation und Generierung von zeitlich-logischen Eigenschaftssätzen aus Sequenzdiagrammen
Vom logischen Denken zum logischen Rechnen, Handbuch für Lehrerinnen und Lehrer.
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Automatische Synthese des Französischen aus einer logischen Basis
Zweyter Abschnitt. Vom logischen Sinn und logischen Gefühl
Zur logischen Frage
Die logischen Grundlagen
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Spezifikation und Generierung von zeitlich-logischen Eigenschaftssätzen aus Sequenzdiagrammen
Vom logischen Denken zum logischen Rechnen, Handbuch für Lehrerinnen und Lehrer.
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Automatische Synthese des Französischen aus einer logischen Basis
Zweyter Abschnitt. Vom logischen Sinn und logischen Gefühl
Zur logischen Frage
Die logischen Grundlagen
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Spezifikation und Generierung von zeitlich-logischen Eigenschaftssätzen aus Sequenzdiagrammen
Vom logischen Denken zum logischen Rechnen, Handbuch für Lehrerinnen und Lehrer.
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von