- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783528054427
3528054425
- Maße
-
21 cm
- Umfang
-
X, 319 S.
- Sprache
-
Deutsch
- Anmerkungen
-
Literaturverz. S. 290 - 296
- Schlagwort
-
Software
Qualitätskontrolle
Programmverifikation
Softwaretest
- Ereignis
-
Veröffentlichung
- (wo)
-
Braunschweig, Wiesbaden
- (wer)
-
Vieweg
- (wann)
-
1994
- Urheber
-
Thaller, Georg Erwin
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:47 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.
Beteiligte
- Thaller, Georg Erwin
- Vieweg
Entstanden
- 1994
Ähnliche Objekte (12)
Software-Test : Verifikation und Validation
Software-Test : Verifikation und Validation
Test, Analyse und Verifikation von Software - gestern, heute, morgen
Korrekte Software : Semantik, Spezifikation, Verifikation und Testen von Programmen
Test, Analyse und Verifikation von Software : aus der Arbeit der Fachgruppe 2.1.7 Test, Analyse und Verifikation von Software (TAV) der Gesellschaft für Informatik (GI)
Software-Verifikation : Verfahren für den Zuverlässigkeitsnachweis von Software
Test und Verifikation von Software bei digitalen Systemen der Luft-und Raumfahrt
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Software engineering : Grundkurs für Praktiker
Verifikation und Validation paralleler Busse in Leittechnik-Systemen
Verifikation von systemnaher Software mittels Bounded Model Checking
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Software-Test : Verifikation und Validation
Software-Test : Verifikation und Validation
Test, Analyse und Verifikation von Software - gestern, heute, morgen
Korrekte Software : Semantik, Spezifikation, Verifikation und Testen von Programmen
Test, Analyse und Verifikation von Software : aus der Arbeit der Fachgruppe 2.1.7 Test, Analyse und Verifikation von Software (TAV) der Gesellschaft für Informatik (GI)
Software-Verifikation : Verfahren für den Zuverlässigkeitsnachweis von Software
Test und Verifikation von Software bei digitalen Systemen der Luft-und Raumfahrt
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Software engineering : Grundkurs für Praktiker
Verifikation und Validation paralleler Busse in Leittechnik-Systemen
Verifikation von systemnaher Software mittels Bounded Model Checking
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Software-Test : Verifikation und Validation
Software-Test : Verifikation und Validation
Test, Analyse und Verifikation von Software - gestern, heute, morgen
Korrekte Software : Semantik, Spezifikation, Verifikation und Testen von Programmen
Test, Analyse und Verifikation von Software : aus der Arbeit der Fachgruppe 2.1.7 Test, Analyse und Verifikation von Software (TAV) der Gesellschaft für Informatik (GI)
Software-Verifikation : Verfahren für den Zuverlässigkeitsnachweis von Software
Test und Verifikation von Software bei digitalen Systemen der Luft-und Raumfahrt
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Software engineering : Grundkurs für Praktiker
Verifikation und Validation paralleler Busse in Leittechnik-Systemen
Verifikation von systemnaher Software mittels Bounded Model Checking