Mots-clés – Auteurs

preuve de programme

Il y a 6 résultats pour cette recherche

2021 Bibliothèque Tangente. N° 76. Programmer, c’est prouver. p. 104-105.
Auteur : Lehning Hervé
2021 Bibliothèque Tangente. N° 76. Itération et récurrence.
Auteurs : Cohen Gilles. Dir. ; Aoustin Fabien. Dir.
2020 Tangente Hors-série. N° 76. Processus itératif. Récurrence, récursivité.
Auteur : Cohen Gilles. Dir.
2020 Tangente Hors-série. N° 76. p. 41-41. La preuve d’un programme.
Auteur : Lehning Hervé
2016 Tangente. N° 173. p. 18-20. A la recherche des copains.
Auteur : Laforest Christian
1999 Tangente Sup. N° 6. p. 34-38. L’oasis de …
Auteur : Tangente Sup Comité de rédaction. Dir.