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

dans Afficher les fiches par  
4 fiches trouvées

12020 Tangente Hors-série. N° 76. p. 41-41. La preuve d'un programme.
22020 Tangente Hors-série. N° 76. Processus itératif. Récurrence, récursivité.
32016 Tangente. N° 173. p. 18-20. A la recherche des copains.
41999 Tangente Sup. N° 6. p. 34-38. L'oasis de ...