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

Name: Logique
Price: 54 EUR
Author: Pascal Gribomont
ISBN: 9782746228887

Pascal Gribomont, Paul Gochet

Hermes Science Publications
Paru le : 01/02/1994

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

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

Fiche technique

Résumé
Fiche technique

Date de parution : 01/02/1994
Editeur : Hermes Science Publications
ISBN : 2-7462-2888-2
EAN : 9782746228887
Format : PDF

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)