Langage Pascal et logique du premier ordre. Vol. 1. Programmation en Pascal, prédicats, systèmes formels
Éditeur: Elsevier Masson
1989304 pagesISBN 9782225819001
Format: BrochéLangue : Français
Présente les outils de logique mathématique appliqués à l'analyse du langage Pascal.
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)