Hochschulschrift
Entwicklung und Erprobung eines Programmsystems zur automatischen Verifikation von Programmen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
158 Bl.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Dresden, Techn. Univ., Fak. für Mathematik u. Naturwiss., Diss. A, 1978 (Nicht f.d. Austausch.)
- Urheber
-
Scholz, Steffen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:13 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Scholz, Steffen
Ähnliche Objekte (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")
Vergleichende audiometrische Untersuchungen zur Erprobung eines automatischen Audiometers
Abschlussbericht "Entwicklung, Konstruktion und Erprobung einer automatischen Wickelpappenanlage"
Erprobung eines automatischen DNA-bildzytometrischen Messsystems an Schilddrüsenpunktaten
Entwicklung und industrielle Erprobung des Programmsystems DECOS
Automatische Verifikation stochastischer Systeme
Entwicklung und Verifikation eines modularen Programmsystems zur Berechnung des Langzeitverhaltens von Druckwasserreaktoren
Bilddokumentation Entwicklung und Erprobung der automatischen Kupplung der OSShD
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")
Vergleichende audiometrische Untersuchungen zur Erprobung eines automatischen Audiometers
Abschlussbericht "Entwicklung, Konstruktion und Erprobung einer automatischen Wickelpappenanlage"
Erprobung eines automatischen DNA-bildzytometrischen Messsystems an Schilddrüsenpunktaten
Entwicklung und industrielle Erprobung des Programmsystems DECOS
Automatische Verifikation stochastischer Systeme
Entwicklung und Verifikation eines modularen Programmsystems zur Berechnung des Langzeitverhaltens von Druckwasserreaktoren
Bilddokumentation Entwicklung und Erprobung der automatischen Kupplung der OSShD
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")
Vergleichende audiometrische Untersuchungen zur Erprobung eines automatischen Audiometers
Abschlussbericht "Entwicklung, Konstruktion und Erprobung einer automatischen Wickelpappenanlage"
Erprobung eines automatischen DNA-bildzytometrischen Messsystems an Schilddrüsenpunktaten
Entwicklung und industrielle Erprobung des Programmsystems DECOS
Automatische Verifikation stochastischer Systeme
Entwicklung und Verifikation eines modularen Programmsystems zur Berechnung des Langzeitverhaltens von Druckwasserreaktoren