Hochschulschrift
Untersuchungen zur Gestaltung und Verifikation von Betriebssystemkomponenten für Mehrmikrorechnersysteme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
131 Bl., Anh.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Rostock, Univ., Diss. A, 1988 (Nicht f.d. Austausch)
- Creator
-
Klühe, Bernd
- 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, 1:54 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
- Klühe, Bernd
Other Objects (12)
Untersuchungen zur Verifikation eines Multirechnersystems
Verifikation von Worthypothesen
Verifikation unvollständiger Schaltkreise
Verifikation abstrakter Zustandsmaschinen
Verifikation regelbasierter Konfigurationssysteme
Vollständige funktionale Verifikation
Verifikation unvollständiger Schaltkreise
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Automatische Verifikation stochastischer Systeme
Untersuchungen zur Anlagendynamik von natriumgekühlten schnellen Brutreaktoren : Verifikation eines Anlagenmodells
Untersuchungen zur Anlagendynamik von natriumgekühlten schnellen Brutreaktoren, Verifikation eines Anlagenmodells
Untersuchungen zur Verifikation eines Multirechnersystems
Verifikation von Worthypothesen
Verifikation unvollständiger Schaltkreise
Verifikation abstrakter Zustandsmaschinen
Verifikation regelbasierter Konfigurationssysteme
Vollständige funktionale Verifikation
Verifikation unvollständiger Schaltkreise
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Automatische Verifikation stochastischer Systeme
Untersuchungen zur Anlagendynamik von natriumgekühlten schnellen Brutreaktoren : Verifikation eines Anlagenmodells
Untersuchungen zur Anlagendynamik von natriumgekühlten schnellen Brutreaktoren, Verifikation eines Anlagenmodells
Untersuchungen zur Verifikation eines Multirechnersystems
Verifikation von Worthypothesen
Verifikation unvollständiger Schaltkreise
Verifikation abstrakter Zustandsmaschinen
Verifikation regelbasierter Konfigurationssysteme
Vollständige funktionale Verifikation
Verifikation unvollständiger Schaltkreise
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Automatische Verifikation stochastischer Systeme
Untersuchungen zur Anlagendynamik von natriumgekühlten schnellen Brutreaktoren : Verifikation eines Anlagenmodells