Hochschulschrift
Verification of relational programs supported by theorem provers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
50 Seiten, 87 verschieden gezählte Seiten
- Language
-
Englisch
- Notes
-
Enthält Sonderabdrucke
Christian-Albrechts-Universität zu Kiel, Dissertation, 2017
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Kiel
- (when)
-
2017
- Creator
-
Stucke, Insa
- 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, 1:52 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
- Hochschulschrift
Associated
- Stucke, Insa
Time of origin
- 2017
Other Objects (12)
Verification of pointer programs
Relational algebraic semantics of funktional programs
Translating relational queries into iterative programs
Verification of business rules programs
Verification of Java card programs
Verification of JavaCard programs
Verification of Java card programs
Relational geometry modelling execution of structured programs
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
Verification of sequential and concurrent programs
On the verification of SCOOP programs
Verification Techniques for TSO-Relaxed Programs
Verification of pointer programs
Relational algebraic semantics of funktional programs
Translating relational queries into iterative programs
Verification of business rules programs
Verification of Java card programs
Verification of JavaCard programs
Verification of Java card programs
Relational geometry modelling execution of structured programs
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
Verification of sequential and concurrent programs
On the verification of SCOOP programs
Verification Techniques for TSO-Relaxed Programs
Verification of pointer programs
Relational algebraic semantics of funktional programs
Translating relational queries into iterative programs
Verification of business rules programs
Verification of Java card programs
Verification of JavaCard programs
Verification of Java card programs
Relational geometry modelling execution of structured programs
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
Verification of sequential and concurrent programs
On the verification of SCOOP programs