Parcourir…

Les Sites à connaître

Abonnez-vous au flux RSS des nouveautés Flux RSS

  • Ajouter à NetVibes
  • Ajouter à Yahoo
  • Ajouter à Windows Live

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

 
    • eBook [PDF]

      54,00 €
    Formats disponibles →  Format PDF
     
     

    Avis des lecteurs  

     

    Présentation

    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

    Sommaire

    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

    Supports disponibles

    • eBook [PDF]

      Pdf PDF (Logique Tome 2 : méthodes formelles pour l'étude des programmes), 360 pages
      A télécharger après achat
    • Caractéristiques

    Référencer ce produit sur votre site

    → Copier en mémoire :