Initiation A L'Algorithmique Et Aux Structures De Donnees - Tome 1 - 2eme Edition
Version, l'accent est plus particulièrement mis sur la spécification formelle, les raisonnements par récurrence associés à la mise en place d'assertions et de propriét
440,00DH
Version, l'accent est plus particulièrement mis sur la spécification formelle, les raisonnements par récurrence associés à la mise en place d'assertions et de propriétés invariantes qui conduisent à une construction rigoureuse et sûre des algorithmes.
ISBN / EAN | 9782100040391 |
---|---|
Genre | Informatique Langages Et Programmation |
Publication date | 2001-12-01 00:00:00 |
Auteur | Jacques Courtin |
Editeur | Dunod |