Nantilus
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 : |
Internet
Sommaire et résumé disponibles sur le site de l'éditeur à l'adresse [consulté le 2013-04-09]BU Sciences
| | Cote | Année | Prêt | Statut |
|---|---|---|---|---|
| Rez-de-chaussée, salle 2 | 005.14 BOU | 2011 | Empruntable | Disponible |