Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
Titel: | Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum / Diego Marmsoler ; Gutachter: Alexander Knapp, Manfred Broy ; Betreuer: Manfred Broy |
---|---|
Verfasser: | |
Beteiligt: | ; ; |
Veröffentlicht: | München : Universitätsbibliothek der TU München, 2019 |
Umfang: | Online-Ressource |
Format: | E-Book |
Sprache: | Englisch |
Hochschulschrift: | Dissertation, München, Technische Universität München, 2019 |
X
Es wurden keine Zusammenfassungen für diesen Datensatz gefunden.