Nantilus
Approches formelles des systèmes embarqués communicants
Enregistré dans:
| Autres auteurs : | , |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Approches formelles des systèmes embarqués communicants / sous la direction de Olivier H. Roux, Claude Jard |
| Publié : |
Paris :
Hermes science publ.
, impr. 2008 Lavoisier |
| Description matérielle : | 1 vol. (268-XIII p.) |
| Collection : | Traités IC2. Série Informatique et systèmes d'information |
| Sujets : |
BU Sciences
| | Cote | Prêt | Statut |
|---|---|---|---|
| Rez-de-chaussée, salle 2 | 004.33 ROU | Empruntable | Disponible |