Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    ControlH: An Algorithm Specification Language and Code Generator


    Contributors:
    Englehart, M. (author) / Jackson, M. (author)

    Published in:

    Publication date :

    1995-01-01


    Size :

    54 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    Unknown


    Classification :

    DDC:    629.805 / 629.8



    Software Specification Language

    Buckles, B. P. / Ryan, J. P. / Austin, S. L. | NTRS | 1983


    HAL/SM language specification

    Williams, G.P.W. / Ross, C. | Tema Archive | 1975


    CODE ELECTRONIC LOCKING CODE GENERATOR

    GRACHEV GAVRIL NIKOLAEVICH / GUROV SERGEJ VLADIMIROVICH / KOROLKOV ALEKSANDR GENNADEVICH et al. | European Patent Office | 2019

    Free access

    Cockpit natural language an application specification

    Lizza, G. / Goulet, C.J. | Tema Archive | 1986