Hochschulschrift
Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826533839
3826533836
- Dimensions
-
21 cm
- Extent
-
220 S.
- Edition
-
Als Ms. gedr.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Kaiserslautern, Univ., Diss., 1997
- Keyword
-
Dialogsystem
Steuerungssystem
Formale Spezifikationstechnik
Temporale Logik
Logische Programmierung
Programmsynthese
- 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:07 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.
Object type
- Hochschulschrift
Associated
- Malik, Robi
- Shaker
Time of origin
- 1998
Other Objects (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
Spezifikation und Generierung von zeitlich-logischen Eigenschaftssätzen aus Sequenzdiagrammen
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
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
Spezifikation und Generierung von zeitlich-logischen Eigenschaftssätzen aus Sequenzdiagrammen
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
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
Spezifikation und Generierung von zeitlich-logischen Eigenschaftssätzen aus Sequenzdiagrammen
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Vom logischen Denken zum logischen Rechnen, Handbuch für Lehrerinnen und Lehrer.
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von