Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Paraphrasage d'une specification formelle B, un premier essai



    Kongress:

    Congres; 15, Informatiques des organisations et systemes d'information et de decision: Actes du XV congres INFORSID ; 1997 ; Toulouse; France



    Erscheinungsdatum :

    01.01.1997


    Format / Umfang :

    20 pages


    Anmerkungen:

    Text in French and English



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Französisch




    Ford Puma, premier essai

    Online Contents | 1997


    Saab 9-5 2.0t SE, premier essai

    Online Contents | 1997


    L'utilisation de la methode NIAM pour construire une specification formelle basee sur un etat

    Habrias, H. / Associaiton inforsid | British Library Conference Proceedings | 1996