Utilisations industrielles des techniques formelles : interprétation abstraite
Cet ouvrage présente des exemples concrets d'utilisations industrielles des techniques formelles. Ces techniques réalisent des modèles de spécifications et/ou de conception et servent également à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion des...
Enregistré dans:
Autres auteurs : | |
---|---|
Format : | Livre |
Langue : | français |
Titre complet : | Utilisations industrielles des techniques formelles : interprétation abstraite / sous la direction de Jean-Louis Boulanger |
Publié : |
Paris :
Hermes science publ.
, impr. 2011, cop. 2011 Lavoisier |
Description matérielle : | 1 vol. (414 p.) |
Collection : | Informatique et systèmes d'information. Recherche, technologie, applications |
Accès en ligne : |
Sommaire et résumé disponibles sur le site de l'éditeur à l'adresse [consulté le 2013-04-09]
|
Sujets : |
Chargement en cours