Langage Pascal et logique du premier ordre. Vol. 2. Récursivité et dérécursification, preuves et complexivité d'algorithmes
Éditeur: Elsevier Masson
1990304 pagesISBN 9782225819537
Format: BrochéLangue : Français
Présente les applications des outils théoriques exposés dans le t. 1. Traite de deux autres aspects fondamentaux : preuves de programmes et complexité des algorithmes. Nombreux exercices corrigés.
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)