| Titre : | Approches formelles des systemes embarqués communicants |
| Titre de série : | Informatique et systemes d'information, IC2 |
| Auteurs : | oliveir h. Roux ; claude Jard |
| Type de document : | texte imprimé |
| Editeur : | Paris : Hermes Science Publication |
| Autre Editeur : | Paris : Lavoisi |
| ISBN/ISSN/EAN : | 978-2-7462-1942-7 |
| Format : | 268 P. / ill. / 23 cm |
| Note générale : | Notes bibliogr. |
| Langues: | Français |
| Index. décimale : | 530 (physique) |
| Catégories : | |
| Mots-clés: | ; informatique: systemes d'information |
| Résumé : | Examen des éléments concernant la problématique actuelle des systèmes embarqués, exposé des acquis de nouvelles directions de recherche sur les modèles et leur utilisation, et présentation des outils logiciels disponibles. |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| Phy .A/6951 | 530/3404/1 | Livre | BU Centrale Batna 1 | Deuxième étage : Sciences humaines et sociales -C- | Disponible |
