Logique Tome 2 - Méthodes formelles pour l'étude des programmes

  • Hermes Science Publications

  • Paru le : 01/02/1994
Note moyenne : |
Ce produit n'a pas encore été évalué. Soyez le premier !
Donnez votre avis !
La première partie est consacrée à la théorie des ensembles. Le premier chapitre est une introduction philosophique et historique, les aspects techniques... > Lire la suite
54,00 €
E-book - PDF
Vérifier la compatibilité avec vos supports
Votre note
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 du format PDF
    • Taille : 16 995 Ko
    • Protection num. : Digital Watermarking
    • Transferts max. : Autorisé
    • Imprimable : 01 page(s) autorisée(s)
    • Copier coller : 01 page(s) autorisée(s)

Nos avis clients sur decitre.fr


Avis Trustpilot

Logique Tome 2 - Méthodes formelles pour l'étude des programmes est également présent dans les rayons

Pascal Gribomont et Paul Gochet - Logique Tome 2 - Méthodes formelles pour l'étude des programmes.
Logique Tome 2. Méthodes formelles pour l'étude des...
54,00 €
Haut de page
Decitre utilise des cookies pour vous offrir le meilleur service possible. En continuant votre navigation, vous en acceptez l'utilisation. En savoir plus OK

Ne partez pas tout de suite...

Inscription newsletter