IziBooks IziBooks IziBooks IziBooks
Logique Tome 2 : méthodes formelles pour l'étude des programmes - Paul Gochet - Hermes Science Publications

Suivre l’actualité de ce titre (promotion, parution...)

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

de Paul Gochet (auteur)
Maison d'édition : Hermes Science Publications
juin 2008
Téléchargement après achat
54,00 €
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

Comment récupérer et lire mon ebook ?

  Paiement sécurisé

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

Auteur

Auteur(s) : Paul Gochet

Avis

Pour évaluer et laisser un commentaire sur le produit, merci de vous connecter à votre compte.

Caractéristiques

Editeur : Hermes Science Publications

Auteur(s) : Paul Gochet

Publication : 1 juin 2008

Intérieur : Noir & blanc

Support(s) : Livre numérique eBook [PDF]

Contenu(s) : PDF

Protection(s) : Marquage social (PDF)

Taille(s) : 16,6 Mo (PDF)

Langue(s) : Français

Code(s) CLIL : 3193

EAN13 Livre numérique eBook [PDF] : 9782746228887

EAN13 (papier) : 9782866013950

Vous aimerez aussi

Les promos du moment
--:-- / --:--