Téléchargez le livre : Logique - Tome 2

Logique - Tome 2

méthodes formelles pour l'étude des programmes

de

,

Éditeur :

Hermés science


Paru le : 1994-02-15



eBook Téléchargement ebook sans DRM
Lecture en ligne (streaming)
56,97 €
Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
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. La théorie des ensembles constitue à la fois une application essentielle de la logique du premier ordre, étudiée dans le premier volume, et la base théorique des méthodes formelles en programmation. La seconde partie est consacrée à ces méthodes et à leur illustration. Le chapitre 3 présente la logique de Hoare classique, permettant l'étude formelle des programmes séquentiels , cette logique est adaptée à la programmation parallèle au chapitre 4. Le chapitre 5 examine la théorie du point fixe, qui permet l'étude systématique des programmes et langages de programmation de tous types, y compris des langages fonctionnels et logiques. Cet ouvrage constitue donc une présentation claire et raisonnée des liens qui associent en profondeur logique et étude des propriétés des programmes.
Pages
352 pages
Collection
n.c
Parution
1994-02-15
Marque
Hermés science
EAN papier
9782866013950
EAN PDF SANS DRM
9782746228887
Informations sur l'ebook
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
56,97 €

Suggestions personnalisées