Hochschulschrift
Entwurf und Verifikation modularer Rechenmodelle zur Interpretation von Stabschmelzexperimenten
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
168 Bl.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Stuttgart, Univ., Diss., 1980
- Bibliographic citation
-
Bericht ; 4,94
- Event
-
Veröffentlichung
- (where)
-
Stuttgart
- (who)
-
Inst. für Kernenergetik u. Energiesysteme, Abt. Datenverarbeitung u. Numerik
- (when)
-
1980
- Creator
-
Türk, Walter
- Contributor
- 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
- Türk, Walter
- Universität Stuttgart. Institut für Kernenergetik und Energiesysteme
- Inst. für Kernenergetik u. Energiesysteme, Abt. Datenverarbeitung u. Numerik
Time of origin
- 1980
Other Objects (12)
Zur Verifikation von modular zerlegten Programmen
Modulare Spezifikation und Verifikation objektbasierter Programme
Entwurf und Verifikation von Ablaufsteuerungen
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Entwicklung und Verifikation eines modularen Programmsystems zur Berechnung des Langzeitverhaltens von Druckwasserreaktoren
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Entwurf einer Beschreibungssprache zur Verifikation digitaler Signaturen
Verifikation von Worthypothesen
Verifikation unvollständiger Schaltkreise
Verifikation regelbasierter Konfigurationssysteme
Verifikation abstrakter Zustandsmaschinen
Vollständige funktionale Verifikation
Zur Verifikation von modular zerlegten Programmen
Modulare Spezifikation und Verifikation objektbasierter Programme
Entwurf und Verifikation von Ablaufsteuerungen
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Entwicklung und Verifikation eines modularen Programmsystems zur Berechnung des Langzeitverhaltens von Druckwasserreaktoren
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Entwurf einer Beschreibungssprache zur Verifikation digitaler Signaturen
Verifikation von Worthypothesen
Verifikation unvollständiger Schaltkreise
Verifikation regelbasierter Konfigurationssysteme
Verifikation abstrakter Zustandsmaschinen
Vollständige funktionale Verifikation
Zur Verifikation von modular zerlegten Programmen
Modulare Spezifikation und Verifikation objektbasierter Programme
Entwurf und Verifikation von Ablaufsteuerungen
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Entwicklung und Verifikation eines modularen Programmsystems zur Berechnung des Langzeitverhaltens von Druckwasserreaktoren
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Entwurf einer Beschreibungssprache zur Verifikation digitaler Signaturen
Verifikation von Worthypothesen
Verifikation unvollständiger Schaltkreise
Verifikation regelbasierter Konfigurationssysteme
Verifikation abstrakter Zustandsmaschinen