Monografie
Software validation : inspection, testing, verification, alternatives ; proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25 - 30, 1983
- Sprache
-
Englisch
- Umfang
-
XII, 375 S.
- ISBN
-
0-444-87593-X
- Identifier
-
1012768511
Thema
Konferenzschrift
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:47 MESZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Software-Produktionsumgebungen
Kultur, Wissenschaft und Politik am Ende des 20. Jahrhunderts : Erwartungen, Visionen - Ängste? ; Vorträge auf dem Symposium zum 65. Geburtstag von Hans-Ludwig Schreiber
Beiträge zur Wissenschaftlichen Konferenz Chancen für eine Nachhaltige Landesentwicklung - Leitbilder und Indikatoren : Rostock 19. März 1997 ; Tagungsband
Einsatz von Methoden der Software-Produktion
Einsatz von Methoden der Software-Produktion in der Bundesrepublik Deutschland
Mathematical software : proceedings
Einsatzerfahrungen mit Standard-Anwendungs-Software und Anforderungen an ein Bausteinkonzept
Unterwegs mit Rolf Italiaander : Begegnungen, Betrachtungen, Bibliographie. [Zum 50. Geburtstag von Rolf Italiaander]
Seishoku-igaku-to-jinrui-idengaku - keihō-ni-yotte-seigen-subeki-ka?
Fortpflanzungsmedizin und Humangenetik - strafrechtliche Schranken? : Tübinger Beiträge zum Diskussionsentwurf eines Gesetzes zum Schutz von Embryonen
Globalisierung der Biopolitik, des Biorechts und der Bioethik? : das Leben an seinem Anfang und an seinem Ende
Hardware and software: verification and testing : proceedings
Software-Produktionsumgebungen
Kultur, Wissenschaft und Politik am Ende des 20. Jahrhunderts : Erwartungen, Visionen - Ängste? ; Vorträge auf dem Symposium zum 65. Geburtstag von Hans-Ludwig Schreiber
Beiträge zur Wissenschaftlichen Konferenz Chancen für eine Nachhaltige Landesentwicklung - Leitbilder und Indikatoren : Rostock 19. März 1997 ; Tagungsband
Einsatz von Methoden der Software-Produktion
Einsatz von Methoden der Software-Produktion in der Bundesrepublik Deutschland
Mathematical software : proceedings
Einsatzerfahrungen mit Standard-Anwendungs-Software und Anforderungen an ein Bausteinkonzept
Unterwegs mit Rolf Italiaander : Begegnungen, Betrachtungen, Bibliographie. [Zum 50. Geburtstag von Rolf Italiaander]
Seishoku-igaku-to-jinrui-idengaku - keihō-ni-yotte-seigen-subeki-ka?
Fortpflanzungsmedizin und Humangenetik - strafrechtliche Schranken? : Tübinger Beiträge zum Diskussionsentwurf eines Gesetzes zum Schutz von Embryonen
Globalisierung der Biopolitik, des Biorechts und der Bioethik? : das Leben an seinem Anfang und an seinem Ende
Hardware and software: verification and testing : proceedings
Software-Produktionsumgebungen
Kultur, Wissenschaft und Politik am Ende des 20. Jahrhunderts : Erwartungen, Visionen - Ängste? ; Vorträge auf dem Symposium zum 65. Geburtstag von Hans-Ludwig Schreiber
Beiträge zur Wissenschaftlichen Konferenz Chancen für eine Nachhaltige Landesentwicklung - Leitbilder und Indikatoren : Rostock 19. März 1997 ; Tagungsband
Einsatz von Methoden der Software-Produktion
Einsatz von Methoden der Software-Produktion in der Bundesrepublik Deutschland
Mathematical software : proceedings
Einsatzerfahrungen mit Standard-Anwendungs-Software und Anforderungen an ein Bausteinkonzept
Unterwegs mit Rolf Italiaander : Begegnungen, Betrachtungen, Bibliographie. [Zum 50. Geburtstag von Rolf Italiaander]
Seishoku-igaku-to-jinrui-idengaku - keihō-ni-yotte-seigen-subeki-ka?
Fortpflanzungsmedizin und Humangenetik - strafrechtliche Schranken? : Tübinger Beiträge zum Diskussionsentwurf eines Gesetzes zum Schutz von Embryonen
Globalisierung der Biopolitik, des Biorechts und der Bioethik? : das Leben an seinem Anfang und an seinem Ende