- Alternative title
-
Statisch sichere Programmierung für verteilte Systeme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2022
- Keyword
-
Verteiltes System
Zuverlässigkeit
Fehlertoleranz
Nebenläufigkeit
Verifikation
Formale Methode
Ausfallsicheres System
- Event
-
Veröffentlichung
- (where)
-
Darmstadt
- (who)
-
Universitäts- und Landesbibliothek
- (when)
-
2022
- Creator
-
Viering, Malte
- Contributor
- DOI
-
10.26083/tuprints-00022022
- URN
-
urn:nbn:de:tuda-tuprints-220222
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 PM CET
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
- Viering, Malte
- Mezini, Mira
- Eugster, Patrick
- Hu, Raymond
- Universitäts- und Landesbibliothek
Time of origin
- 2022
Other Objects (12)
Thread-Safe Reactive Programming
Type-Safe Data Plane Programming
Introduction to reliable distributed programming
Object based distributed programming : proceedings
(6) Distributed Programming, Teil 2
(6) Distributed Programming, Teil 1
Industrially Usable Distributed Pair Programming
Type-safe programming for the semantic web
Type-safe Programming for the Semantic Web
PANDA - Supporting Distributed Programming in C++
A Programming Language for Distributed Systems
Distributed programming paradigms with cryptography applications
Thread-Safe Reactive Programming
Type-Safe Data Plane Programming
Introduction to reliable distributed programming
Object based distributed programming : proceedings
(6) Distributed Programming, Teil 2
(6) Distributed Programming, Teil 1
Industrially Usable Distributed Pair Programming
Type-safe programming for the semantic web
Type-safe Programming for the Semantic Web
PANDA - Supporting Distributed Programming in C++
A Programming Language for Distributed Systems
Distributed programming paradigms with cryptography applications
Thread-Safe Reactive Programming
Type-Safe Data Plane Programming
Introduction to reliable distributed programming
Object based distributed programming : proceedings
(6) Distributed Programming, Teil 2
(6) Distributed Programming, Teil 1
Industrially Usable Distributed Pair Programming
Type-safe programming for the semantic web
Type-safe Programming for the Semantic Web
PANDA - Supporting Distributed Programming in C++
A Programming Language for Distributed Systems