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...

Ajouter au panier

Aucun avis sur cette notice.

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...

Ajouter au panier

Aucun avis sur cette notice.