Introduction aux méthodes formelles (2° Ed.)
EAN13
9782746201408
ISBN
978-2-7462-0140-8
Éditeur
Hermès science publications
Date de publication
Collection
Collection technique et scientifique des télécommunications
Nombre de pages
352
Dimensions
24 x 16 x 1,6 cm
Poids
540 g
Langue
français
Code dewey
005.131
Fiches UNIMARC
S'identifier

Introduction aux méthodes formelles (2° Ed.)

De

Hermès science publications

Collection technique et scientifique des télécommunications

Offres

Cet ouvrage présente les bases théoriques de la spécification formelle qui est de plus en plus utilisée dans la conception de systèmes informatiques. Il propose une vue d'ensemble des techniques générales de la spécification, du développement modulaire de logiciel par raffinements progressifs et de la preuve formelle. Il réalise un exposé rigoureux des théories mathématiques sous-jacentes et explique concrètement la mise en oeuvre des techniques sur des outils effectifs. Son contenu a été mis à jour et son organisation complètement remaniée, avec un nouveau chapitre consacré aux systèmes de transitions et à la logique temporelle.
S'identifier pour envoyer des commentaires.