Fachinformationsdienst BAUdigital

A platform for research: civil engineering, architecture and urbanism

    Synthesising Designs from Formal Specifications: A Case Study

    New search for: MacDonald, A.
    New search for: Carrington, D.
    New search for: Gupta, G.

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Page navigation

    Document information
    Similar titles

    Export, share and cite

    Synthesising Designs from Formal Specifications: A Case Study

    New search for: MacDonald, A.
    New search for: Carrington, D.
    New search for: Gupta, G.

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Synthesising Designs from Formal Specifications: A Case Study

    New search for: MacDonald, A.
    New search for: Carrington, D.
    New search for: Gupta, G.

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Page navigation

    Document information
    Similar titles

    Export, share and cite

    Document information
    Title:

    Synthesising Designs from Formal Specifications: A Case Study

    Contributors:

    MacDonald, A. (author) / Carrington, D. (author) / Gupta, G.

    Conference:

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

    Published in:

    ACSC-17 ; 229-238

    AUSTRALIAN COMPUTER SCIENCE COMMUNICATIONS ; 16

    Publication date:

    1994-01-01

    Size:

    10 pages

    ISBN:

    047302313X

    Type of media:

    Conference paper

    Type of material:

    Print

    Language:

    English

    Keywords:

    ACSC , computer science

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

    Similar titles

    Synthesising art and setting

    British Library Online Contents | 1998

    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

    REVIEW - Synthesising art and setting

    Online Contents | 1998

    Synthesising Artificial Intelligence and Physical Performance

    Menges, Achim / Wortmann, Thomas | Wiley | 2022

    Back to top