Le stockage local semble être désactivé dans votre navigateur.
Pour une meilleure expérience sur notre site, assurez-vous d’activer le cache dans votre navigateur.
Logique - - tome 2
Paul Gochet (Auteur principal)
Livre | Format : Livre | Editeur : HERMES SCIENCE PUBLICATIONS | Date de parution : 15/06/1994
Résumé
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
Détails
| EAN | 9782746228887 |
|---|---|
| ISBN | 2746228882 |
| Contributeurs | Paul Gochet (Auteur principal) |
| Format | Livre |
| Éditeur | HERMES SCIENCE PUBLICATIONS |
| Langue | Français |
| Poids | 1.101 kg |
| Impression à la demande | Non |
| Saga | Logique |
| Catégories | Livres, Sciences et Techniques |
Avis
Rédigez votre propre commentaire