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
Herder-Institut Marburg/Lahn, Forschungsbibliothek
| Exemplar: | 1 |
|---|---|
| Online: |
Volltext |
Überregionale Besitznachweise und Volltextlinks
| Resolving-System: | https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 |
|---|---|
| Verlag: | http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9 |
