Exercices corrigés en langage Z - Les spécifications formelles par la pratique
Résumé
no abstract
Ouvrages
Année : 2004
LS2N Hal : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00458124
Soumis le : vendredi 19 février 2010-12:39:07
Dernière modification le : vendredi 5 janvier 2024-03:23:16
Dates et versions
Identifiants
- HAL Id : hal-00458124 , version 1
Citer
Pascal André, Alain Vailly. Exercices corrigés en langage Z - Les spécifications formelles par la pratique. Editions Ellipses, pp.246, 2004, Collection Technosup. ⟨hal-00458124⟩
Collections
2443
Consultations
0
Téléchargements