texte imprimé

Algorithmique, 1. Construction, preuve et évaluation des programmes

Pierre Berlioux, Auteur ; Philippe Bizard, Auteur | Paris : Dunod | Dunod informatique | 1989

Intéresse les personnes ayant déjà une certaine pratique de la programmation et qui désirent acquérir des connaissances plus approfondies, en particulier sur la preuve de la correction des programmes et sur leur évaluation.

Plus d'information...

texte imprimé

Algorithmique, 2. Structures de données et algorithmes de recherche

Pierre Berlioux, Auteur ; Philippe Bizard, Auteur | Paris : Dunod | Dunod informatique | 1988

Plus d'information...

texte imprimé

Construire les algorithmes : les améliorer, les connaître, les évaluer

Claude Pair ; Roger Mohr ; René Schott | Paris : Dunod | Dunod informatique | 1988

Plus d'information...