Nantilus
ETUDE SUR L'APPLICATION DE METHODES FORMELLES A LA COMPILATION ET A LA VALIDATION DE PROGRAMMES ELECTRE
APRES UNE PRESENTATION INFORMELLE DU LANGAGE ELECTRE, NOUS DONNONS UNE FORMALISATION DE LA SEMANTIQUE DE CE LANGAGE, AINSI QUE DE SON MODELE D'EXECUTION, SOUS FORME DE SEMANTIQUE OPERATIONNELLE. CETTE FORMALISATION EST UTILISEE POUR REALISER UNE THEORIE D'ELECTRE DANS L'ASSISTANT A LA...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Collectivité auteur : | |
| Autres auteurs : | |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | ETUDE SUR L'APPLICATION DE METHODES FORMELLES A LA COMPILATION ET A LA VALIDATION DE PROGRAMMES ELECTRE / PABLO ARGON; SOUS LA DIRECTION DE OLIVIER ROUX |
| Publié : |
[S.l.] :
[s.n.]
, 1998 |
| Description matérielle : | 138 P. |
| Note de thèse : | Thèse de doctorat : Sciences appliquées : Nantes : 1998 |
| Sujets : | |
| Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication BU Sciences, Ex. 2 : Titre temporairement indisponible à la communication |
BU Sciences
| | Cote | Prêt | Statut |
|---|---|---|---|
| Communication impossible | 98 NANT 2112 | Empruntable | Disponible |
| Communication impossible | 98 NANT 2112 | Exclu du prêt | Disponible |
Bib. Centrale Nantes
| | Cote | Prêt | Statut |
|---|---|---|---|
| Magasin 3 | Th.1760 bis | Empruntable | Disponible |
| Magasin 3 | Th.1760 | Exclu du prêt | Disponible |