Sélection de tests de propriétés de sûreté à partir d'une modélisation algébrique de programmes LUSTRE
auteur :Nai-Cheng Hsiao
- Première parution
- 1995
- Éditeur
- [Service de documentation et d'édition multimédia, Centre d'études de Saclay]Gif-sur-Yvette
- Pages
- 149
- Éditions
- 1
- Langue
- Français
Trouver ce livre d’occasion
Recherche préremplie — titre et auteur, toutes éditions confondues — chez 8 marchands d’occasion et sites de petites annonces.
Édition
| Année | Éditeur | ISBN | Pages | Ville | Occasion | Notice | |
|---|---|---|---|---|---|---|---|
| 1995 | [Service de documentation et d'édition multimédia, Centre d'études de Saclay] | — | 149 | Gif-sur-Yvette | Vinted |