Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Evaluation of verifiability in HAL/S<149>programming language for aerospace computers


    Contributors:
    YOUNG, W. (author) / TRIPATHI, A. (author) / GOOD, D. (author) / BROWNE, J. (author)

    Conference:

    2nd Computers in Aerospace Conference ; 1979 ; Los Angeles , CA , U.S.A.



    Publication date :

    1979-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Trends in aerospace computers

    Carberry, R.L. | Tema Archive | 1977


    Computers and Aerospace Technology

    Massey, Chris | Emerald Group Publishing | 1992


    Microminiature Aerospace Digital Computers

    V. M. Dolkart / G. K. Novik / I. S. Koltypin | NTIS | 1968


    Computers and Aerospace Technology

    Massey, C. | British Library Online Contents | 1992


    Trends in aerospace computers

    CARBERRY, R. | AIAA | 1977