Konferenzschrift
La vérification dans un cadre informatique : la vérification de systèmes informatisés, l'emploi de l'ordinateur comme instrument de vérification
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
[790] S. in getr. Zählung
- Sprache
-
Deutsch
- Anmerkungen
-
Dt. Ausg. u.d.T.: EDV-Prüfung. - Engl. Ausg. u.d.T.: Computer auditing. - Span. Ausg. u.d.T.: La fiscalización en relación con el proceso electrónico de datos. - Weitere Ausg. in arab. Sprache
- Erschienen in
-
XIIIe [Treizième] Congrès International des Institutions Supérieures de Contrôle des Finances Publiques / International Congress of Supreme Audit Institutions ; Thème 3, 13
- Ereignis
-
Veröffentlichung
- (wo)
-
[Frankfurt (Main)]
- (wer)
-
Bundesrechnungshof
- (wann)
-
1989
- 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:20 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
- Konferenzschrift
Beteiligte
- Bundesrechnungshof
Entstanden
- 1989
Ähnliche Objekte (12)
Verification
Verification witnesses
Vérification analytique.
Self-Verification - Verification of Embedded Systems after Deployment
Compiler verification in the context of pervasive system verification
A verification plan for systematic verification of mechatronic systems
Complete Functional Verification
Causality-based verification
Monitoring for verification
Vérification des Instrumens.
Towards cooperative software verification with test generation and formal verification
Examen Du Procés-Verbal De Vérification
Verification
Verification witnesses
Vérification analytique.
Self-Verification - Verification of Embedded Systems after Deployment
Compiler verification in the context of pervasive system verification
A verification plan for systematic verification of mechatronic systems
Complete Functional Verification
Causality-based verification
Monitoring for verification
Vérification des Instrumens.
Towards cooperative software verification with test generation and formal verification
Examen Du Procés-Verbal De Vérification
Verification
Verification witnesses
Vérification analytique.
Self-Verification - Verification of Embedded Systems after Deployment
Compiler verification in the context of pervasive system verification
A verification plan for systematic verification of mechatronic systems
Complete Functional Verification
Causality-based verification
Monitoring for verification
Vérification des Instrumens.
Towards cooperative software verification with test generation and formal verification