Logique Tome 2 : méthodes formelles pour l étude des programmes
360 pages
Français

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

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

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus
360 pages
Français
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

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


1. Introduction historique et philosophique à la théorie des ensembles 2. Théorie des ensembles 3. Logique pour programmes séquentiels 4. Logique pour programmes parallèles 5. Théorie du point fixe Bibliographie - Index

Sujets

Informations

Publié par
Date de parution 01 février 1994
Nombre de lectures 101
EAN13 9782746228887
Licence : Tous droits réservés
Langue Français
Poids de l'ouvrage 16 Mo

Informations légales : prix de location à la page 0,2700€. Cette information est donnée uniquement à titre indicatif conformément à la législation en vigueur.

Extrait

  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents