Fachinformationsdienst BAUdigital

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

    Synthesising Designs from Formal Specifications: A Case Study

    Neue Suche nach: MacDonald, A.
    Neue Suche nach: Carrington, D.
    Neue Suche nach: Gupta, G.

    Zugriff

    Zugriff über TIB
    Verfügbarkeit in meiner Bibliothek prüfen
    Bestellung bei Subito €

    Zugriff

    Zugriff über TIB
    Verfügbarkeit in meiner Bibliothek prüfen
    Bestellung bei Subito €

    Seitennavigation

    Dokumentinformationen
    Ähnliche Titel

    Exportieren, teilen und zitieren

    Synthesising Designs from Formal Specifications: A Case Study

    Neue Suche nach: MacDonald, A.
    Neue Suche nach: Carrington, D.
    Neue Suche nach: Gupta, G.

    Zugriff

    Zugriff über TIB
    Verfügbarkeit in meiner Bibliothek prüfen
    Bestellung bei Subito €

    Synthesising Designs from Formal Specifications: A Case Study

    Neue Suche nach: MacDonald, A.
    Neue Suche nach: Carrington, D.
    Neue Suche nach: Gupta, G.

    Zugriff

    Zugriff über TIB
    Verfügbarkeit in meiner Bibliothek prüfen
    Bestellung bei Subito €

    Zugriff

    Zugriff über TIB
    Verfügbarkeit in meiner Bibliothek prüfen
    Bestellung bei Subito €

    Seitennavigation

    Dokumentinformationen
    Ähnliche Titel

    Exportieren, teilen und zitieren

    Dokumentinformationen
    Titel:

    Synthesising Designs from Formal Specifications: A Case Study

    Beteiligte:

    MacDonald, A. (Autor:in) / Carrington, D. (Autor:in) / Gupta, G.

    Kongress:

    17th Annual computer science conference, ACSC-17 ; 1994 ; Christchurch; New Zealand

    Erschienen in:

    ACSC-17 ; 229-238

    AUSTRALIAN COMPUTER SCIENCE COMMUNICATIONS ; 16

    Erscheinungsdatum:

    01.01.1994

    Format / Umfang:

    10 pages

    ISBN:

    047302313X

    Medientyp:

    Aufsatz (Konferenz)

    Format:

    Print

    Sprache:

    Englisch

    Schlagwörter:

    ACSC , computer science

    © Metadata Copyright the British Library Board and other contributors. All rights reserved.

    Ähnliche Titel

    Synthesising dry weather flow input hydrographs: a Maltese case study

    Butler, D. / Gatt, K. / International Association on Water Quality | British Library Conference Proceedings | 1996

    Synthesising dry weather flow input hydrographs: a Maltese case study

    Butler, D. / Gatt, K. / International Association on Water Quality | British Library Conference Proceedings | 1996

    Synthesising art and setting

    British Library Online Contents | 1998

    REVIEW - Synthesising art and setting

    Online Contents | 1998

    Synthesising Artificial Intelligence and Physical Performance

    Menges, Achim / Wortmann, Thomas | Wiley | 2022

    Nach oben