Mark A. Holhouse;Daniel M. Forman:'Human engineering with dialogue processor techniques' (6A-1). --Thomas E. Perkins: 'A very high level language for the structured specification and design of business data processing systems' (6A-6+). --John F. Clemons: 'Verification of the onboard flight software developed for the nasa space shuttle program' (6B-1). --Joe W. Duran;John J. Wiorkowski: 'Random testing may be better than you think' (6B-6). --Lislie Miller: 'Interpolation file systems' (7-1). --Ching-hua Chen;James R. Driscoll;Karl Grammel: 'Physical storage and physical navigation within the relational DBMS RAQUEL II' (7-3). --Peter A. Ng;Jean F. Paul: 'Algorithms for constructing search trees for efficient querying' (7-11).


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Proc. of the 8th Texas conf. on computing systems, Dallas, Texas, Nov. 12-13, 1979 (Programming languages; validation and testing; file systems)


    Weitere Titelangaben:

    Programmiersprachen; Ueberpruefung und Testen; Filesysteme


    Erscheinungsdatum :

    1979


    Format / Umfang :

    30 Seiten


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch