- Alternative title
-
Verifizierte Quantitative Analyse von Imperativen Algorithmen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2021
- Classification
-
Allgemeines, Wissenschaft
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2021
- Creator
-
Haslbeck, Maximilian Paul Louis
- Contributor
- URN
-
urn:nbn:de:bvb:91-diss-20210816-1596032-1-7
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:35 AM 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.
Associated
- Haslbeck, Maximilian Paul Louis
- Nipkow, Tobias
- Hoffmann, Jan
- Universitätsbibliothek der TU München
Time of origin
- 2021
Other Objects (12)
A verified compiler for a linear imperative / functional intermediate language
Algorithms for verified inclusions: theory and practice
verifiedSCION: Verified Secure Routing
Numerical MMATh Verified essential algorithms for solving differential equations
Transforming imperative algorithms to constraint handling rules
Verified iptables Firewall Analysis and Verification
Verified Analysis of Random Binary Tree Structures
Gale-Shapley Verified
C++ toolbox for verified computing, 1.. Basic numerical problems : theory, algorithms, and programs
ModelPlex: verified runtime validation of verified cyber-physical system models
FM8501 : a verified microprocessor
Verified Boot auf ARM
A verified compiler for a linear imperative / functional intermediate language
Algorithms for verified inclusions: theory and practice
verifiedSCION: Verified Secure Routing
Numerical MMATh Verified essential algorithms for solving differential equations
Transforming imperative algorithms to constraint handling rules
Verified iptables Firewall Analysis and Verification
Verified Analysis of Random Binary Tree Structures
Gale-Shapley Verified
C++ toolbox for verified computing, 1.. Basic numerical problems : theory, algorithms, and programs
ModelPlex: verified runtime validation of verified cyber-physical system models
FM8501 : a verified microprocessor
Verified Boot auf ARM
A verified compiler for a linear imperative / functional intermediate language
Algorithms for verified inclusions: theory and practice
verifiedSCION: Verified Secure Routing
Numerical MMATh Verified essential algorithms for solving differential equations
Transforming imperative algorithms to constraint handling rules
Verified iptables Firewall Analysis and Verification
Verified Analysis of Random Binary Tree Structures
Gale-Shapley Verified
C++ toolbox for verified computing, 1.. Basic numerical problems : theory, algorithms, and programs
ModelPlex: verified runtime validation of verified cyber-physical system models
FM8501 : a verified microprocessor