Rechercher
Mon panier
Menu
INTRODUCTION AUX MÉTHODES FORMELLES (2º ED.)
INTRODUCTION AUX MÉTHODES FORMELLES (2º ED.)
Imprimer la fiche produit
HERMES SCIENCES PUBLICATIONS
HERMES SCIENCES PUBLICATIONS

INTRODUCTION AUX MÉTHODES FORMELLES (2º ED.)

Auteur(s) MONIN JEAN-FRANCOIS
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.
Aller à la description complète
ISBN13 9782746201408
105,95 $
Contacter mon représentant Partager
Soyez le premier à commenter ce produit

Description

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.

Renseignements sur l'ouvrage

Ouvrages similaires