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
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
[790] S. in getr. Zählung
- Language
-
Deutsch
- Notes
-
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
- Bibliographic citation
-
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
- Event
-
Veröffentlichung
- (where)
-
[Frankfurt (Main)]
- (who)
-
Bundesrechnungshof
- (when)
-
1989
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:20 PM CEST
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
- Konferenzschrift
Associated
- Bundesrechnungshof
Time of origin
- 1989
Other Objects (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