programmation

RSS M'abonner au flux RSS
21 article(s) correspondant(s)
Il y a 12 années
"Quand les programmes font leurs preuves"
Publié sur Inria, le 18/10/2013
Recherche & Développement
Tags : Claude Marché, preuve de programme, programmation, Saclay, Toccata
Article indisponible ?