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

Pascal Gribomont, Paul Gochet

Note moyenne : | 0 avis
Ce produit n'a pas encore été évalué. Soyez le premier !
  • Hermes Science Publications

  • Paru le : 01/02/1994
  • Tous vos e-books sur notre application de lecture
  • Téléchargement immédiat
  • Aide au choix numérique
54,00 €
E-book - PDF
Vérifier la compatibilité avec vos supports

Decitre eBooks

Découvrez vos e-books avec notre application de lecture !

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 : Autorisé
    • Copier coller : Autorisé

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