Hochschulschrift
Certifying system translations using higher order theorem provers
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832522117
- Maße
-
21 cm
- Umfang
-
XII, 174 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Kaiserslautern, Techn. Univ., Diss., 2009
- Schlagwort
-
Codegenerierung
Korrektheit
HOL
Zertifikat
Programmtransformation
Programmverifikation
- 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
- Blech, Jan Olaf
- Logos-Verl.
Entstanden
- 2009
Ähnliche Objekte (12)
Mechanizing the transformation of higher order algebraic specifications for the development of software systems
Natürliche Dualitäten und das verallgemeinerte Stone-Weierstraß-Theorem
Attractors of second order stochastic differential equations
An approach to the extension of a theorem prover by advanced structuring mechanisms
Point processes with a generalized order statistic property
The transatlantic dialogue on higher education : an analysis of cultural narratives
On the expressive power of first-order logic with built in predicates
Linear and nonlinear model order reduction for numerical simulation of electric circuits
Influence of rigid confinements on local order and chain dynamics in polymer melts
First order quasi-linear PDEs with BV boundary data and applications to image inpainting
Dynamics and ferroelectric order in pyridinium salts, and host guest interaction of benzene on faujasite
Theorie und Praxis in den Arbeitsfeldern der sozialen Arbeit, 1
Mechanizing the transformation of higher order algebraic specifications for the development of software systems
Natürliche Dualitäten und das verallgemeinerte Stone-Weierstraß-Theorem
Attractors of second order stochastic differential equations
An approach to the extension of a theorem prover by advanced structuring mechanisms
Point processes with a generalized order statistic property
The transatlantic dialogue on higher education : an analysis of cultural narratives
On the expressive power of first-order logic with built in predicates
Linear and nonlinear model order reduction for numerical simulation of electric circuits
Influence of rigid confinements on local order and chain dynamics in polymer melts
First order quasi-linear PDEs with BV boundary data and applications to image inpainting
Dynamics and ferroelectric order in pyridinium salts, and host guest interaction of benzene on faujasite
Theorie und Praxis in den Arbeitsfeldern der sozialen Arbeit, 1
Mechanizing the transformation of higher order algebraic specifications for the development of software systems
Natürliche Dualitäten und das verallgemeinerte Stone-Weierstraß-Theorem
Attractors of second order stochastic differential equations
An approach to the extension of a theorem prover by advanced structuring mechanisms
Point processes with a generalized order statistic property
The transatlantic dialogue on higher education : an analysis of cultural narratives
On the expressive power of first-order logic with built in predicates
Linear and nonlinear model order reduction for numerical simulation of electric circuits
Influence of rigid confinements on local order and chain dynamics in polymer melts
First order quasi-linear PDEs with BV boundary data and applications to image inpainting
Dynamics and ferroelectric order in pyridinium salts, and host guest interaction of benzene on faujasite