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
Liste complète des métadonnées

https://hal.inria.fr/hal-00659439
Contributor : Equipe-Projet Cordial <>
Submitted on : Thursday, January 12, 2012 - 5:36:24 PM
Last modification on : Friday, November 16, 2018 - 1:28:05 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

291