skip to main content

Langages de description de systèmes logiques : propositions pour une méthode formelle de définition

Borrione, Dominique

Grenoble, 1981

Voir les exemplaires

  • Titre:
    Langages de description de systèmes logiques : propositions pour une méthode formelle de définition
  • Auteur: Borrione, Dominique
  • Sujets: SYSTÈME INFORMATIQUE -- CONCEPTION ASSISTÉE PAR ORDINATEUR ;
    SPECIFICATION ;
    LANGAGE LASSO ;
    H-INF.TH. ;
    H-MAT.INF.
  • Description: Mines : FRA .
    Thèse
    REFLEXION THEORIQUE VISANT A DEGAGER LES PRINCIPES COMMUNS A LA TRES GRANDE MAJORITE DES LANGAGES DE DESCRIPTION DE SYSTEMES LOGIQUES. PRESENTATION DE CONLAN. EXPOSE D'UN MODELE D'EVALUATION PERMETTANT DE SPECIFIER L'INTERPRETATION DES PRIMITIVES D'UN LANGAGE DE DESCRIPTION DE SYSTEMES LOGIQUES
  • Éditeur: Grenoble
  • Date de publication: 1981
  • Format: 1 vol. ([15]-284 p) : ill ; 21 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é