- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783836422949
- Maße
-
24 cm
- Umfang
-
153 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Hergestellt on demand. - Literaturverz. S. 148 - 153
- Schlagwort
-
Wirtschaftsprüfung
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
VDM Verlag Dr. Müller
- (wann)
-
2007
- Urheber
- 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:24 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
- Akinyemi, John A.
- Jin, Dean
- VDM Verlag Dr. Müller
Entstanden
- 2007
Ähnliche Objekte (12)
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Formal specifications with higher order parameterization
Slicing integrated formal specifications for verification
Translating formal specifications into behavioural hardware descriptions
Generation of Formal Specifications for Avionic Software Systems
Semantic integration of heterogeneous formal specifications via transformation systems
Generating user interfaces from formal specifications of the application
Formal verification of OIL component specifications using mCRL2
Energy audits : theoretical examination and modeling of energy audits
Interne Revision: financial audit - dolose Handlung
Integrating formal specifications into applications: the ProB Java API
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Formal specifications with higher order parameterization
Slicing integrated formal specifications for verification
Translating formal specifications into behavioural hardware descriptions
Generation of Formal Specifications for Avionic Software Systems
Semantic integration of heterogeneous formal specifications via transformation systems
Generating user interfaces from formal specifications of the application
Formal verification of OIL component specifications using mCRL2
Energy audits : theoretical examination and modeling of energy audits
Interne Revision: financial audit - dolose Handlung
Integrating formal specifications into applications: the ProB Java API
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Formal specifications with higher order parameterization
Slicing integrated formal specifications for verification
Translating formal specifications into behavioural hardware descriptions
Generation of Formal Specifications for Avionic Software Systems
Semantic integration of heterogeneous formal specifications via transformation systems
Generating user interfaces from formal specifications of the application
Formal verification of OIL component specifications using mCRL2
Energy audits : theoretical examination and modeling of energy audits
Interne Revision: financial audit - dolose Handlung