Mots-clés – Auteurs

logique de programmation

Il y a 1 résultat pour cette recherche

2003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.
Auteur : Regnier Laurent