Contribution à la validation de programmes concurrents avec contraintes
Considerant, d'une part le paradigme cc propose par vijay saraswat, et d'autre part les methodes de preuves en programmation logique developpees par pierre deransart, l'objectif de la these est de tenter de rapprocher ces deux univers en proposant une contribution a la validation de p...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Thèse et Mémoire papier |
| Jazyk: | Français |
| Vydáno: |
[Lieu de publication inconnu] :
[Éditeur inconnu]
1997.
|
| Témata: | |
| Poznámka: |
Thèse : 1997ORLE2005 |
| Autres localisations: | Voir dans le Sudoc |
Orléans - BU Sciences Technologies STAPS
| Umístění | Signatura | Type de prêt | Stav | |
|---|---|---|---|---|
| Magasin | TS 19-1997-5 b |
A consulter sur place
|
||
| Magasin | TS 19-1997-5 | Dostupné |