Medias
Mise en oeuvre de la méthode B
Soyez le premier à donner votre avis
Informatique et Systèmes d'InformationLa mise en place d'un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d'un modèle formel est l'approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d'analyser et de vérifier le comportement d'un logiciel.Cet ouvrage présente la méthode B, une m
...
Livre numérique - PDF
Protection Adobe DRM
Spécifications techniques
Date de sortie | 01 avril 2013 |
Langue | Français |
Éditeur | LAVOISIER-HERMES |
Collection | Informatique et systèmes d'inf |
Catégories | |
Nombre de pages | 420 pages |
Composition | Contient un seul article |
Support | Livre imprimé à couverture rigide |
Illustrations | Dessins au trait, Illustrations en noir et blanc |
Mesure | 24.0 cm (Hauteur), 16 cm (Largeur), 830 gr (Poids) |
Accessibilité | Aucune information disponible concernant l'accessibilité pour le format Papier Aucune information disponible concernant l'accessibilité pour le format PDF |