la date de réponse | 2009 |
---|---|
langue originale | Français |
L'institution diplômante |
|
Superviseur | Jean-Marie Jacquet (Promoteur) |
Modélisation de l'exécution de programmes dans les langages de coordination au moyen de réseaux de Petri
Student thesis: Master types › Master en sciences informatiques