| Titre : | Technique et science informatiques. |
| Titre de série : | Technique et science informatiques, 7 (2001) |
| Auteurs : | Yves Ledru, Metteur en scène, réalisateur ; Marie-Laure Potet, Metteur en scène, réalisateur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Hermès science publications, 2001 |
| ISBN/ISSN/EAN : | 978-2-7462-0330-3 |
| Format : | 127 p. / ill. / 24 x 16 cm |
| Note générale : |
Bibliogr. |
| Langues: | Français |
| Catégories : | |
| Mots-clés: | logiciels /développement / congrès/ méthodes formelles (informatique)/congrès |
| Résumé : |
Numéro thématique suite à l'atelier AFALD'2000 (approches formelles dans l'assistance au développement de logiciels) qui s'est tenu à Grenoble en janvier 2000. Aborde notamment : l'étude de cas d'un système de contrôle d'accès à un ensemble de bâtiments ; les cartes à puces ; la sécurité des systèmes d'information... |
Exemplaires (3)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TEC006292 | INF00904 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC006293 | INF00905 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC015451 | INF05864 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
