Hochschulschrift
Entwicklung und Erprobung eines Programmsystems zur automatischen Verifikation von Programmen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
158 Bl.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Dresden, Techn. Univ., Fak. für Mathematik u. Naturwiss., Diss. A, 1978 (Nicht f.d. Austausch.)
- Creator
-
Scholz, Steffen
- 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, 12:08 PM 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.
Object type
- Hochschulschrift
Associated
- Scholz, Steffen
Other Objects (12)
Entwicklung eines Programmsystems zur automatischen Stundenplanerstellung für Gesamtschulen
Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen
Mehrstufige Erprobung der Digitalen Automatischen Kupplung
Verifikation von Worthypothesen durch Halbsilbensynthese bei der automatischen Erkennung fliessender Sprache
Systemprognose des Geräte- und Programmsystems zur automatischen Funktionssteuerung und Regelung von technischen Einrichtungen ("Gerätesystem Numerik")
Erprobung eines automatischen DNA-bildzytometrischen Messsystems an Schilddrüsenpunktaten
Abschlussbericht "Entwicklung, Konstruktion und Erprobung einer automatischen Wickelpappenanlage"
Vergleichende audiometrische Untersuchungen zur Erprobung eines automatischen Audiometers
Automatische Verifikation stochastischer Systeme
Entwicklung und industrielle Erprobung des Programmsystems DECOS
Entwicklung und Verifikation eines modularen Programmsystems zur Berechnung des Langzeitverhaltens von Druckwasserreaktoren
Untersuchungen zur automatischen Erfassung und automatischen Analyse von Messwertfolgen
Entwicklung eines Programmsystems zur automatischen Stundenplanerstellung für Gesamtschulen
Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen
Mehrstufige Erprobung der Digitalen Automatischen Kupplung
Verifikation von Worthypothesen durch Halbsilbensynthese bei der automatischen Erkennung fliessender Sprache
Systemprognose des Geräte- und Programmsystems zur automatischen Funktionssteuerung und Regelung von technischen Einrichtungen ("Gerätesystem Numerik")
Erprobung eines automatischen DNA-bildzytometrischen Messsystems an Schilddrüsenpunktaten
Abschlussbericht "Entwicklung, Konstruktion und Erprobung einer automatischen Wickelpappenanlage"
Vergleichende audiometrische Untersuchungen zur Erprobung eines automatischen Audiometers
Automatische Verifikation stochastischer Systeme
Entwicklung und industrielle Erprobung des Programmsystems DECOS
Entwicklung und Verifikation eines modularen Programmsystems zur Berechnung des Langzeitverhaltens von Druckwasserreaktoren
Untersuchungen zur automatischen Erfassung und automatischen Analyse von Messwertfolgen
Entwicklung eines Programmsystems zur automatischen Stundenplanerstellung für Gesamtschulen
Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen
Mehrstufige Erprobung der Digitalen Automatischen Kupplung
Verifikation von Worthypothesen durch Halbsilbensynthese bei der automatischen Erkennung fliessender Sprache
Systemprognose des Geräte- und Programmsystems zur automatischen Funktionssteuerung und Regelung von technischen Einrichtungen ("Gerätesystem Numerik")
Erprobung eines automatischen DNA-bildzytometrischen Messsystems an Schilddrüsenpunktaten
Abschlussbericht "Entwicklung, Konstruktion und Erprobung einer automatischen Wickelpappenanlage"
Vergleichende audiometrische Untersuchungen zur Erprobung eines automatischen Audiometers
Automatische Verifikation stochastischer Systeme
Entwicklung und industrielle Erprobung des Programmsystems DECOS
Entwicklung und Verifikation eines modularen Programmsystems zur Berechnung des Langzeitverhaltens von Druckwasserreaktoren