|
Titre :
|
Comprendre les méthodes formelles : panorama des outils logiques
|
|
Auteurs :
|
Jean-François Monin, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1996
|
|
Collection :
|
Collection technique et scientifique des télécommunications, ISSN 0221-2579
|
|
ISBN/ISSN/EAN :
|
978-2-225-85304-3
|
|
Format :
|
328 p. / ill. / 24 x 16 cm
|
|
Langues:
|
Français
|
|
Index. décimale :
|
005.5
|
|
Mots-clés:
|
logiciels
;
développement
;
informatique
;
mathématiques
|
|
Résumé :
|
Les méthodes formelles sont des outils informatiques permettant la réalisation de logiciels sûrs et fiables, de la conception à la mise en oeuvre. Celles-ci peuvent être abordées par la logique qui en constitue un des fils directeurs. Cet ouvrage présente cette démarche.
|
