- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Logique Tome 2 : méthodes formelles pour l'étude des programmes EBOOK
Paul Gochet
54,00 €
+ 54 points
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
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Langue:
- Français
- Collection :
- Tome:
- n° 2
Caractéristiques
- EAN:
- 9782746228887
- Date de parution :
- 31-05-08
- Format:
- Ebook
- Protection digitale:
- Digital watermarking
- Format numérique:
