Lorsque vous naviguez sur notre site internet, des informations sont susceptibles d'être enregistrées pour optimiser votre expérience.

PréférencesTout accepterTout refuser
Lavoisier Lavoisier Lavoisier Lavoisier

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

de Paul GOCHET (auteur)
Maison d'édition : Hermés science
février 1994
Parcourir en ligne
Téléchargement après achat
54,00 €

Comment récupérer et lire mon ebook ?

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

Caractéristiques

Auteur(s) : Paul GOCHET

Publication : 1 février 1994

Édition : 1re édition

Intérieur : Couleur, Noir & blanc

Support(s) : eBook [PDF], eBook

Contenu(s) : PDF

Protection(s) : Marquage social (PDF)

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

Langue(s) : Français

Code(s) CLIL : 3193

EAN13 eBook [PDF] : 9782746228887

EAN13 (papier) : 9782866013950

Avis

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

Ouvrages du même auteur
--:-- / --:--