Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum

Link zu diesem Datensatz

https://d-nb.info/1180602188

Titel

Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum

Art des Inhalts

Monographie

Verfassangaben

Diego Marmsoler ; Gutachter: Alexander Knapp, Manfred Broy ; Betreuer: Manfred Broy

Autor(en)

• Marmsoler, Diego
• Broy, Manfred
• Knapp, Alexander

Verlag

München : Universitätsbibliothek der TU München [2019]

Jahr

Erscheinungsdatum: 2019

Umfang/Format

Online-Ressource

Online

https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20190222-1462585-1-9

Sprache

eng

Schlagwörter

• Architectural design
• Architecture
• ARC Architektur
• DAT Datenverarbeitung, Informatik

Abweichende Titel

• Axiomatische Spezifikation und Interaktive Verifikation von Architekturmustern in FACTum

Stand

23.12.2025 05:35

Im Katalog seit

07.03.2026

Beschreibung vom Verlag

Beschreibung wird bei Bedarf von der DNB geladen.

Verlagstext laden