Nantilus
Systèmes temps réel : 1 Techniques de description et de vérification
Enregistré dans:
| Autres auteurs : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Systèmes temps réel. 1, Techniques de description et de vérification / sous la direction de Nicolas Navet |
| Publié : |
Paris :
Hermes science publ.
, cop. 2006 Lavoisier |
| Description matérielle : | 1 vol. (370-VII p.) |
| Collection : | IC2 Série Informatique et systèmes d'information |
| Sujets : |
Chargement en cours