Ouvrages
Année : 2011
Equipe-Projet Cordial : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00659439
Soumis le : jeudi 12 janvier 2012-17:36:24
Dernière modification le : vendredi 24 mars 2023-14:52:55
Dates et versions
Identifiants
- HAL Id : hal-00659439 , version 1
Citer
Marc Guyomard. Structures de données et méthodes formelles. Springer, pp.438, 2011, 978-2817801995. ⟨hal-00659439⟩
Collections
183
Consultations
0
Téléchargements