Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Healthiness versus realizability in predicate transformers


    Beteiligte:
    Holt, R. C. (Autor:in)


    Erscheinungsdatum :

    1990


    Format / Umfang :

    31, 7 Bl.


    Anmerkungen:

    graph. Darst.
    Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Medientyp :

    Report


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    000