GEOTRUST SSL CERTIFICATE
| Titre : | Introduction aux méthodes formelles |
| Auteurs : | Jean-François Monin, Metteur en scène, réalisateur |
| Type de document : | texte imprimé |
| Mention d'édition : | 2e éd. |
| Editeur : | Paris : Hermès science publications, 2000 |
| ISBN/ISSN/EAN : | 978-2-7462-0140-8 |
| Format : | 352 p. / 24 x 16 cm |
| Note générale : |
Bibliogr. Index |
| Langues: | Français |
| Index. décimale : | 005.5 |
| Mots-clés: | génie logiciel |
| Résumé : |
Présentation des bases théoriques et des fondements mathématiques de la spécification formelle. Revue des techniques générales de la spécification, du développement modulaire de logiciel par raffinements progressifs et de la preuve formelle. Explication de la mise en oeuvre des techniques mathématiques sur des outils effectifs. Etude des systèmes de transition et de la logique temporelle. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
