Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Towards a Deductive Object-Oriented System


    Beteiligte:
    Yoon, S.-C. (Autor:in) / Ku, C. S. (Autor:in)


    Erscheinungsdatum :

    01.01.1998


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    004.16



    Tracing Safety for Dependable Avionic Systems: An Object Oriented and Deductive Approach

    Mason, P. A. J. / Saed, A. | British Library Conference Proceedings | 1998


    Tracing Safety for Dependable Avionic Systems: An Object Oriented and Deductive Approach

    Mason, P.A.J. / Saed, A. / System Safety Society (U.S.) | British Library Conference Proceedings | 2006



    Deductive Verification of Railway Operations

    Kamburjan, Eduard / Hähnle, Reiner | British Library Conference Proceedings | 2017


    Space optimization in deductive databases

    Srivastava, Divesh | TIBKAT | 1991