# Thomas Vergnaud

> Fiche auteur du catalogue https://superlivre.fr/auteur/thomas-vergnaud-cb15542537r (données du dépôt légal BnF, enrichies Wikidata).

- **Œuvres au catalogue** : 1 (2007–2007)
- **Pagination médiane** : 191 pages
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb15542537r

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 2007 | [Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées](https://superlivre.fr/livre/modelisation-des-systemes-temps-reel-repartis-embarques-pour-la-generation-autom-cb41024533b) | [École nationale supérieure des télécommunications](https://superlivre.fr/editeur/ecole-nationale-superieure-des-telecommunications) | 191 |

## Éditeurs principaux

- [École nationale supérieure des télécommunications](https://superlivre.fr/editeur/ecole-nationale-superieure-des-telecommunications) — 1 œuvres