# Nai-Cheng Hsiao

> Fiche auteur du catalogue https://superlivre.fr/auteur/nai-cheng-hsiao-cb12518434v (données du dépôt légal BnF, enrichies Wikidata).

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

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1995 | [Sélection de tests de propriétés de sûreté à partir d'une modélisation algébrique de programmes LUSTRE](https://superlivre.fr/livre/selection-de-tests-de-proprietes-de-surete-a-partir-dune-modelisation-algebrique-cb36687000k) | [[Service de documentation et d'édition multimédia, Centre d'études de Saclay]](https://superlivre.fr/editeur/service-de-documentation-et-dedition-multimedia-centre-detudes-de-saclay) | 149 |

## Éditeurs principaux

- [[Service de documentation et d'édition multimédia, Centre d'études de Saclay]](https://superlivre.fr/editeur/service-de-documentation-et-dedition-multimedia-centre-detudes-de-saclay) — 1 œuvres