Modélisation et spécification formelle des logiciels
Enregistré dans:
| Auteur principal: | |
|---|---|
| Support: | E-Book |
| Langue: | Français |
| Publié: |
Québec :
Loze-Dion éditeur,
2006.
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| Accès en ligne: | Accès à l'E-Book |
| Lien: | Autre support:
Modélisation et spécification formelle des logiciels / Guy Tremblay |