A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
Axiomatische Spezifikation und Interaktive Verifikation von Architekturmustern in FACTum
Marmsoler, Diego (author) / Broy, Manfred (tutor) / Knapp, Alexander / Broy, Manfred
2019
1 Online-Ressource
Theses
Electronic Resource
English
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
| UB Braunschweig | 2019
manu factum '97: Kunsthandwerkliche Spitzenleistungen
Online Contents | 1998
Axiomatic Design of a Spatial Micromanipulator and Experimental Verification
| British Library Online Contents | 2007
Möbeldesign: manu factum '97 - Kunsthandwerkliche Spitzenleistungen
Online Contents | 1998