Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    YOUNG, W. (Autor:in) / TRIPATHI, A. (Autor:in) / GOOD, D. (Autor:in) / BROWNE, J. (Autor:in)

    Kongress:

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



    Erscheinungsdatum :

    01.01.1979



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Trends in aerospace computers

    Carberry, R.L. | Tema Archiv | 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