- Weitere Titel
-
Verifizierte Quantitative Analyse von Imperativen Algorithmen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Dissertation, 2021
- Klassifikation
-
Allgemeines, Wissenschaft
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2021
- Urheber
-
Haslbeck, Maximilian Paul Louis
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:bvb:91-diss-20210816-1596032-1-7
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:35 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.
Beteiligte
- Haslbeck, Maximilian Paul Louis
- Nipkow, Tobias
- Hoffmann, Jan
- Universitätsbibliothek der TU München
Entstanden
- 2021
Ähnliche Objekte (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