Zeitschriften
Bücher
Diplomarbeiten
Dissertationen
Wissensbilanz
Login
Hauptmenü
TUGraz DIGITAL Library
WISSEN
TECHNIK
LEIDENSCHAFT
diglib
/
Diplomarbeiten
/
Proof-based development of actor systems
Autor
Maderbacher, Benedikt
Titel
Proof-based development of actor systems
Datei
[1.48 MB]
Beschreibung
xi, 134 Seiten
Beschreibung
Illustrationen
Zugriffsrechte