Détail d'une collection
Documents disponibles dans la sous-collection (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
