Logique Tome 2 : méthodes formelles pour l'étude des programmes

-

Livres
360 pages
Lire un extrait
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

Description

La première partie est consacrée à la théorie des ensembles. Le premier chapitre est une introduction philosophique et historique, les aspects techniques étant exposés au chapitre deux. Le chapitre trois présente la logique de Hoare classique, permettant l'étude formelle des programmes séquentiels
1. Introduction historique et philosophique à la théorie des ensembles 2. Théorie des ensembles 3. Logique pour programmes séquentiels 4. Logique pour programmes parallèles 5. Théorie du point fixe Bibliographie - Index

Sujets

Informations

Publié par
Date de parution 01 février 1994
Nombre de visites sur la page 84
EAN13 9782746228887
Langue Français

Informations légales : prix de location à la page 0,0405 €. Cette information est donnée uniquement à titre indicatif conformément à la législation en vigueur.

Signaler un problème