Rayon Développement d'applications, langages de programmation
Fiche technique
Format : Broché
Nb de pages : 304 pages
Poids : 535 g
Dimensions : 16cm X 24cm
EAN : 9782225819537
Récursivité et dérécursification, preuves et complexivité d'algorithmes
Chez
Elsevier Masson
Collection(s) |
Logique, mathématiques, informatique
Paru le 01/01/1990
Broché
304 pages
Quatrième de couverture
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.
