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...
Uloženo v:
| Další autoři: | |
|---|---|
| Médium: | Livre papier |
| Jazyk: | Français |
| Vydáno: |
Paris :
Hermes science publ. : Lavoisier
C 2011.
|
| Edice: | Recherche, technologie, applications. Informatique et systèmes d'information
|
| Témata: | |
| Poznámka: |
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 |