Structures de données et méthodes formelles

Marc Guyomard 1
1 CORDIAL - Human-machine spoken dialogue
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes, ENSSAT - École Nationale Supérieure des Sciences Appliquées et de Technologie
Type de document :
Ouvrage (y compris édition critique et traduction)
Springer, pp.438, 2011, 978-2817801995
Liste complète des métadonnées

https://hal.inria.fr/hal-00659439
Contributeur : Equipe-Projet Cordial <>
Soumis le : jeudi 12 janvier 2012 - 17:36:24
Dernière modification le : mercredi 16 mai 2018 - 11:23:02

Identifiants

  • HAL Id : hal-00659439, version 1

Citation

Marc Guyomard. Structures de données et méthodes formelles. Springer, pp.438, 2011, 978-2817801995. 〈hal-00659439〉

Partager

Métriques

Consultations de la notice

240