Rayon Développement d'applications, langages de programmation
Fiche technique
Format : Broché
Nb de pages : 288 pages
Poids : 525 g
Dimensions : 16cm X 24cm
EAN : 9782225816604
Construction et vérification de programmes
Chez
Elsevier Masson
Collection(s) |
MIM-algorithmique, programmation
Paru le 01/01/1989
Broché
288 pages
traduit de l'anglais par R. Quiniou
Quatrième de couverture
Une approche thématique de la vérification de la programmation. Expose les bases mathématiques (logique des prédicats de 1er ordre) à partir desquelles deux méthodes de vérification sont applicables.
