Peace : un formalisme fondé sur une logique modale pour la modélisation et la mise en œuvre des processus ligiciels évolutifs et non-monotones
Saved in:
| OCLC: | 54092573 |
|---|---|
| Main Author: | |
| Corporate Author: | |
| Language: | French |
| Published: |
Grenoble :
A.N.R.T, Université Pierre Mendes France (Grenoble II),
1993.
|
| Subjects: | |
| Format: | Thesis Monograph Microform Note that CRL will digitize material from the collection when copyright allows. |