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...
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Livre papier |
| Sprache: | Français |
| Veröffentlicht: |
Paris :
Hermès science publications : Lavoisier
DL 2012, cop. 2012
|
| Schriftenreihe: | Informatique et systèmes d'information. Recherche, technologie, applications
|
| Schlagworte: | |
| Autres localisations: | Voir dans le Sudoc |
INSA CVL Bourges
| Standort | Signatur | Type de prêt | Status | |
|---|---|---|---|---|
| Informatique | 005.131 BOU | Verfügbar |