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 papier |
| Langue: | Français |
| Publié: |
Paris :
Hermes science publ. : Lavoisier
C 2011.
|
| Collection: | Recherche, technologie, applications. Informatique et systèmes d'information
|
| Sujets: | |
| Note: |
Sommaire et résumé disponibles sur le site de l'éditeur à l'adresse [consulté le 2013-04-09]. http://http://editions.lavoisier.fr/notice.asp?ouvrage=2551936 |
| Autres localisations: | Voir dans le Sudoc |
INSA CVL Bourges
| Localisation | Cote | Type de prêt | Statut | |
|---|---|---|---|---|
| Informatique | 005.14 BOU | Disponible |