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
Logique Tome 2 : méthodes formelles pour l'étude des programmes
54,00EUR
Catégories:
INFORMATIQUE [auto].
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, ...
| Disponibilité: | Disponible |
|---|---|
| Format: | PDF | 0 Pages |
| Date de publication: | 2008-06-01 |
| Éditeur: | Hermes Science Publications |
| Langue: | Français |
Avis clients
0.0
0 reviews
