CONTRAINTES ENSEMBLISTES ET SPECIFICATIONS FORMELLES
LE BUT DE CETTE THESE EST DE DONNER DES OUTILS PERMETTANT DE DECRIRE ET DE TRAITER DES RELATIONS ENTRE ENSEMBLES INTENTIONNELS (CONTRAINTES ENSEMBLISTES), PUIS DE LES APPLIQUER A L'EXPRESSION ET A LA VALIDATION DE PROPRIETES DE PROGRAMMES, DANS LE CADRE D'UN LANGAGE DE SPECIFICATION FORMEL...
Na minha lista:
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | Thèse et Mémoire papier |
| Idioma: | Français |
| Publicado em: |
[S.l.] :
[s.n.]
1999.
|
| Assuntos: | |
| Nota: |
1999ORLE2019 |
| Autres localisations: | Voir dans le Sudoc |
Orléans - BU Sciences Technologies STAPS
| Localização | Área/Cota | Type de prêt | Estado | |
|---|---|---|---|---|
| Magasin | TS 19-1999-19 b |
A consulter sur place
|
||
| Magasin | TS 19-1999-19 | Disponível |