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.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Blanche vient de perdre son mari, Pierre, son autre elle-même. Un jour, elle rencontre Jules, un vieil homme amoureux des fleurs...
Des idées de lecture pour ce début d'année !
Si certaines sont impressionnantes et effrayantes, d'autres sont drôles et rassurantes !
A gagner : la BD jeunesse adaptée du classique de Mary Shelley !
