- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
149 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Kiel, Univ., Diss.
- Erschienen in
-
Bericht / Christian-Albrechts-Universität zu Kiel ; Nr. 9501
- Ereignis
-
Veröffentlichung
- (wo)
-
Kiel
- (wer)
-
Inst. für Informatik und Praktische Mathematik
- (wann)
-
1995
- Urheber
-
Buth, Bettina
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:31 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
- Hochschulschrift
Beteiligte
- Buth, Bettina
- Inst. für Informatik und Praktische Mathematik
Entstanden
- 1995
Ähnliche Objekte (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
Transformations of specifications and proofs to support an evolutionary formal software development
A natural-deduction-like calculus for structured specifications
Partly Free Semantics for Some Anderson-Like Ontological Proofs
VDM Handbuch
VDM Handbuch
Reusing Proofs
Synthetic proofs
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
Transformations of specifications and proofs to support an evolutionary formal software development
A natural-deduction-like calculus for structured specifications
Partly Free Semantics for Some Anderson-Like Ontological Proofs
VDM Handbuch
VDM Handbuch
Reusing Proofs
Synthetic proofs
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
Transformations of specifications and proofs to support an evolutionary formal software development
A natural-deduction-like calculus for structured specifications
Partly Free Semantics for Some Anderson-Like Ontological Proofs
VDM Handbuch
VDM Handbuch
Reusing Proofs