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

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

Paul Gochet

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

Vous pouvez lire cet ebook sur les supports de lecture suivants :

Téléchargement immédiat

Dès validation de votre commande

Offrir maintenant

Ou planifier dans votre panier

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

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)