ISNI: |
0000 0000 0178 4493
https://isni.org/isni/0000000001784493
|
Name: |
Vailly, Alain |
Creation class: |
Language material |
Creation role: |
author |
Related names: |
André, Pascal (1967-...)
André, Pascal (1967-..)
Inform.--Rennes 1
Tartier, Annie
|
Titles: |
Développement de logiciels avec UML 2 et OCL cours, études de cas et exercices corrigés
Exercices corrigés d'UML passeport pour une maîtrise de la notation
Exercices corrigés de conception logicielle modélisation des systèmes d'information par la pratique génie logiciel
Exercices corrigés en langage Z les spécifications formelles par l'exemple
Premiers pas en algorithmique : de l'énoncé à la solution : exercices analysés, corrigés et commentés
Spécification des logiciels.
SYSACT, un outil d'aide à la conception et à l'écriture de systèmes distribués
|
Notes: |
Th. 3e cycle--Inform.--Rennes 1, 1980. N°: 96 |
Sources: |