Fachinformationsdienst BAUdigital

Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik

    Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum

    Neue Suche nach: Marmsoler, Diego
    Neue Suche nach: Broy, Manfred
    Neue Suche nach: Knapp, Alexander
    Neue Suche nach: Broy, Manfred

    Zugriff

    Zur UB Braunschweig
    Verfügbarkeit in meiner Bibliothek prüfen

    Zugriff

    Zur UB Braunschweig
    Verfügbarkeit in meiner Bibliothek prüfen

    Seitennavigation

    Dokumentinformationen
    Ähnliche Titel

    Exportieren, teilen und zitieren

    Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum

    Neue Suche nach: Marmsoler, Diego
    Neue Suche nach: Broy, Manfred
    Neue Suche nach: Knapp, Alexander
    Neue Suche nach: Broy, Manfred

    Zugriff

    Zur UB Braunschweig
    Verfügbarkeit in meiner Bibliothek prüfen

    Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum

    Neue Suche nach: Marmsoler, Diego
    Neue Suche nach: Broy, Manfred
    Neue Suche nach: Knapp, Alexander
    Neue Suche nach: Broy, Manfred

    Zugriff

    Zur UB Braunschweig
    Verfügbarkeit in meiner Bibliothek prüfen

    Zugriff

    Zur UB Braunschweig
    Verfügbarkeit in meiner Bibliothek prüfen

    Seitennavigation

    Dokumentinformationen
    Ähnliche Titel

    Exportieren, teilen und zitieren

    Dokumentinformationen
    Titel:

    Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum

    Weitere Titelangaben:

    Axiomatische Spezifikation und Interaktive Verifikation von Architekturmustern in FACTum

    Beteiligte:

    Marmsoler, Diego (Autor:in) / Broy, Manfred (Akademische:r Betreuer:in) / Knapp, Alexander / Broy, Manfred

    Erscheinungsdatum:

    2019

    Format / Umfang:

    1 Online-Ressource

    Medientyp:

    Hochschulschrift

    Format:

    Elektronische Ressource

    Sprache:

    Englisch

    Ähnliche Titel

    Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum

    Marmsoler, Diego | TIBKAT | 2019

    Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum ; Axiomatische Spezifikation und Interaktive Verifikation von Architekturmustern in FACTum

    Marmsoler, Diego | BASE | 2019

    Freier Zugriff

    manu factum '97: Kunsthandwerkliche Spitzenleistungen

    Online Contents | 1998

    Axiomatic Design of a Spatial Micromanipulator and Experimental Verification

    Han, S.Y. / Yoon, S.J. / Kim, S.R. et al. | British Library Online Contents | 2007

    Möbeldesign: manu factum '97 - Kunsthandwerkliche Spitzenleistungen

    Online Contents | 1998

    Nach oben