Détail de l'auteur
Documents disponibles écrits par cet auteur (2)
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externes
texte imprimé
Jean-Louis Boulanger, Directeur de publication | Paris : Hermes science publications | Recherche. Technologie. Application | DL 2012, cop. 2012Les 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érent[...]
texte imprimé
Jean-Louis Boulanger, Directeur de publication | Paris : Hermes science publications | Recherche. Technologie. Application | impr. 2011, cop. 2011Cet ouvrage présent des exemples concrets d'utilisations industrielles des techniques formelles. Ces techniques réalisent des modelés de spécification et/ou de conception et servent également à l'analyse statique de code, à la démonstration du r[...]
Accueil
