Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Healthiness versus realizability in predicate transformers


    Contributors:
    Holt, R. C. (author)


    Publication date :

    1990


    Size :

    31, 7 Bl.


    Remarks:

    graph. Darst.
    Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Type of media :

    Report


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    000