Construction et vérification de programmes
Éditeur: Elsevier Masson
1989288 pagesISBN 9782225816604
Format: BrochéLangue : Français
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.
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)