skip to main content

LA COMMUNICATION : UN OUTIL POUR LA SPECIFICATION, LA CONSTRUCTION ET LA VERIFICATION DE SYSTEMES PARALLELES

Perrin, Guy-René

S.l. : s.n., 1985

Voir les exemplaires

  • Titre:
    LA COMMUNICATION : UN OUTIL POUR LA SPECIFICATION, LA CONSTRUCTION ET LA VERIFICATION DE SYSTEMES PARALLELES
  • Auteur: Perrin, Guy-René
  • Sujets: MODELE DU PARALLELISME;
    SYNCHRONISATION;
    PROCESSUS;
    COMMUNICATION;
    Parallélisme;
    Preuve de programme;
    H-INF.TH.
  • Description: Mines : FRA .
    DOCTORAT D'ETAT
    L'OBJECTIF EST DE PROPOSER UN CADRE FORMEL POUR L'EXPRESSION DES DEPENDANCES ENTRE LES ENTITES CONSTITUANT UN SYSTEME PARALLELE, INDUISANT UN MODE DE RAISONNEMENT POUR LA CONSTRUCTION DE CES SYSTEMES
  • Éditeur: S.l. : s.n.
  • Date de publication: 1985
  • Format: NON PAGINEE ; 30 cm
  • Langue: Français
  • Source: Mines ParisTech (catalogue)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré