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...
Gardado en:
| Autor Principal: | |
|---|---|
| Outros autores: | |
| Formato: | Thèse et Mémoire papier |
| Idioma: | Français |
| Publicado: |
[Lieu de publication inconnu] :
[Éditeur inconnu]
1997.
|
| Sujets: | |
| Nota: |
Thèse : 1997ORLE2005 |
| Autres localisations: | Voir dans le Sudoc |