Nantilus
Compilation et vérification des programmes ELECTRE
On présente dans cette thèse une sémantique opérationnelle du langage réactif asynchrone ELECTRE basée sur un système de réécriture conditionnelle par calcul d'attributs synthétises sur la grammaire du langage. On montre que cette sémantique permet de construire un modèle d'exécution fini...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Collectivité auteur : | |
| Autres auteurs : | |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Compilation et vérification des programmes ELECTRE / Franck Cassez; sous la direction de Jean-Pierre Elloy |
| Publié : |
[S.l.] :
[s.n.]
, 1993 |
| Description matérielle : | 1 vol. (132 p.) |
| Note de thèse : | Thèse de doctorat : Automatique et informatique appliquée : Nantes : 1993 |
| 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 | 93 NANT 2013 | Empruntable | Disponible |
| Communication impossible | 93 NANT 2013 | Exclu du prêt | Disponible |
Bib. Centrale Nantes
| | Cote | Prêt | Statut |
|---|---|---|---|
| Magasin 3 | TH 1444 bis | Empruntable | Disponible |
| Magasin 3 | TH 1444 | Exclu du prêt | Disponible |