Langage Pascal et logique du premier ordre. Vol. 1. Programmation en Pascal, prédicats, systèmes formels

Fiche technique

Format : Broché
Nb de pages : 304 pages
Poids : 542 g
Dimensions : 16cm X 24cm
Date de parution :
EAN : 9782225819001

Programmation en Pascal, prédicats, systèmes formels

de

chez Elsevier Masson

Serie : Langage Pascal et logique du premier ordre. Vol 1

Collection(s) : Logique, mathématiques, informatique

Paru le | Broché 304 pages

30.30 Indisponible

Quatrième de couverture

Présente les outils de logique mathématique appliqués à l'analyse du langage Pascal.