- Weitere Titel
-
Statisch sichere Programmierung für verteilte Systeme
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2022
- Schlagwort
-
Verteiltes System
Zuverlässigkeit
Fehlertoleranz
Nebenläufigkeit
Verifikation
Formale Methode
Ausfallsicheres System
- Ereignis
-
Veröffentlichung
- (wo)
-
Darmstadt
- (wer)
-
Universitäts- und Landesbibliothek
- (wann)
-
2022
- Urheber
-
Viering, Malte
- Beteiligte Personen und Organisationen
- DOI
-
10.26083/tuprints-00022022
- URN
-
urn:nbn:de:tuda-tuprints-220222
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 MEZ
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
- Viering, Malte
- Mezini, Mira
- Eugster, Patrick
- Hu, Raymond
- Universitäts- und Landesbibliothek
Entstanden
- 2022
Ähnliche Objekte (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