|
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
|
|
Index. décimale :
|
005.5
|
|
Mots-clés:
|
logiciels
;
développement
;
congrès
;
méthodes formelles (informatique)
|
|
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...
|
