Accueil Publimath  Aide à la recherche  Requête : "preuve de programme"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
6 fiches trouvées

12021 Bibliothèque Tangente. N° 76. Itération et récurrence.
22021 Bibliothèque Tangente. N° 76. Programmer, c'est prouver. p. 104-105.
32020 Tangente Hors-série. N° 76. p. 41-41. La preuve d'un programme.
42020 Tangente Hors-série. N° 76. Processus itératif. Récurrence, récursivité.
52016 Tangente. N° 173. p. 18-20. A la recherche des copains.
61999 Tangente Sup. N° 6. p. 34-38. L'oasis de ...