Détail de l'auteur
Auteur Yves Ledru |
Documents disponibles écrits par cet auteur (1)
Affiner la recherche
Technique et science informatiques. . 7 (2001), Approches formelles pour l'aide au développement de logiciels / Yves Ledru
Titre : Technique et science informatiques. . 7 (2001), Approches formelles pour l'aide au développement de logiciels Type de document : texte imprimé Auteurs : Yves Ledru, Auteur ; Marie-Laure Potet, Auteur Editeur : Paris : Hermès Année de publication : 2001 Importance : 127 p. Présentation : ill. Format : 24 x 16 cm ISBN/ISSN/EAN : 978-2-7462-0330-3 Note générale : Bibliogr. Langues : Français (fre) Index. décimale : 665.2620 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... Technique et science informatiques. . 7 (2001), Approches formelles pour l'aide au développement de logiciels [texte imprimé] / Yves Ledru, Auteur ; Marie-Laure Potet, Auteur . - Paris : Hermès, 2001 . - 127 p. : ill. ; 24 x 16 cm.
ISBN : 978-2-7462-0330-3
Bibliogr.
Langues : Français (fre)
Index. décimale : 665.2620 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 (1)
Code-barres Cote Support Localisation Section Disponibilité FTM31359 004.005.5.13 Livre magasin d'ouvrages 004.005.5Info. Exclu du prêt