 |
 |
 |
 |
|
|
|
|
| HAL : hal-00458124, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| Exercices corrigés en langage Z - Les spécifications formelles par la pratique (2004) 246 |
|
|
|
|
| Exercices corrigés en langage Z - Les spécifications formelles par la pratique |
|
|
| Pascal André 1Alain Vailly 1 |
|
|
| (2004) |
|
|
|
| no abstract |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique de Nantes Atlantique (LINA) |
|
|
|
CNRS : UMR6241 – Université de Nantes – École Nationale Supérieure des Mines - Nantes |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Génie logiciel |
| hal-00458124, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00458124 | |
| oai:hal.archives-ouvertes.fr:hal-00458124 | |
| Contributeur : Lina Hal | |
| Déposé pour le compte de : | |
| Soumis le : Vendredi 19 Février 2010, 12:39:07 | |
| Dernière modification le : Vendredi 19 Février 2010, 12:39:07 | |
