- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540545460
3540545468
9780387545462
0387545468
- Dimensions
-
25 cm
- Extent
-
X, 142 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Zürich, Univ., Diss., 1990/91
- Bibliographic citation
-
Informatik-Fachberichte ; Bd. 284
- Keyword
-
Verzeichnisdienst
Architektur
Spezifikation
PROLOG
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (who)
-
Springer
- (when)
-
1991
- Creator
-
Stadler, Rolf
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:38 AM CET
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.
Associated
- Stadler, Rolf
- Springer
Time of origin
- 1991
Other Objects (12)
Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen
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
Vom logischen Denken zum logischen Rechnen, Handbuch für Lehrerinnen und Lehrer.
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von
Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen
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
Vom logischen Denken zum logischen Rechnen, Handbuch für Lehrerinnen und Lehrer.
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von
Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen
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
Vom logischen Denken zum logischen Rechnen, Handbuch für Lehrerinnen und Lehrer.
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von
Teichmann-Logischen, Arthur von