Outils de mise en oeuvre industrielle des méthodes formelles
La 4e de couverture indique : "Les 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érents domaines te...
Wedi'i Gadw mewn:
| Awduron Eraill: | |
|---|---|
| Fformat: | Livre papier |
| Iaith: | Français |
| Cyhoeddwyd: |
Paris :
Hermès science publications : Lavoisier
DL 2012, cop. 2012
|
| Cyfres: | Informatique et systèmes d'information. Recherche, technologie, applications
|
| Pynciau: | |
| Autres localisations: | Voir dans le Sudoc |