- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
149 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Kiel, Univ., Diss.
- Bibliographic citation
-
Bericht / Christian-Albrechts-Universität zu Kiel ; Nr. 9501
- Event
-
Veröffentlichung
- (where)
-
Kiel
- (who)
-
Inst. für Informatik und Praktische Mathematik
- (when)
-
1995
- Creator
-
Buth, Bettina
- 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:31 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
- Buth, Bettina
- Inst. für Informatik und Praktische Mathematik
Time of origin
- 1995
Other Objects (12)
Deriving object-oriented specifications from algebraic specifications through refinement
Refinement of Classical Proofs for Program Extraction
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Semantics of OCL Operation Specifications
Transformations of specifications and proofs to support an evolutionary formal software development
VDM Handbuch
VDM Handbuch
Synthetic proofs
Reusing Proofs
Classis Juniorum V.D.M.
Deriving object-oriented specifications from algebraic specifications through refinement
Refinement of Classical Proofs for Program Extraction
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Semantics of OCL Operation Specifications
Transformations of specifications and proofs to support an evolutionary formal software development
VDM Handbuch
VDM Handbuch
Synthetic proofs
Reusing Proofs
Classis Juniorum V.D.M.
Deriving object-oriented specifications from algebraic specifications through refinement
Refinement of Classical Proofs for Program Extraction
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Semantics of OCL Operation Specifications
Transformations of specifications and proofs to support an evolutionary formal software development
VDM Handbuch
VDM Handbuch
Synthetic proofs
Reusing Proofs