Medias
Outils de mise en oeuvre industrielle des techniques formelles
Soyez le premier à donner votre avis
Informatique et Systèmes d'InformationLes techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants.Différents domaines tels les systèmes de transport, la production d'énergie ou la santé prennent en compte l'implérnentation de ces méthodes pour satisfaire les exigences de sécurité élevées des systèmes cr
...
Livre numérique - PDF
Protection Adobe DRM
Spécifications techniques
Date de sortie | 01 juin 2012 |
Langue | Français |
Éditeur | LAVOISIER |
Collection | Informatique et systèmes d'inf |
Catégories | |
Nombre de pages | 389 pages |
Composition | Contient un seul article |
Support | Livre imprimé à couverture rigide |
Illustrations | Illustrations en noir et blanc |
Mesure | 24.0 cm (Hauteur), 16 cm (Largeur), 810 gr (Poids) |
Accessibilité | Aucune information disponible concernant l'accessibilité pour le format Papier Aucune information disponible concernant l'accessibilité pour le format PDF |