la date de réponse | 1981 |
---|---|
langue originale | Français |
L'institution diplômante |
|
Superviseur | A Van Lamsweerde (Promoteur) |
Une approche déductive à la spécification et au développement d'une application de gestion en temps réel
Student thesis: Master types › Master en sciences informatiques