Les Newsletters Interstices

Preuve

2 contenus

Affiner ma recherche

Domaines

Type de contenu

Auteur

Niveau de lecture

Trier par

ArticleLangages, programmation & logiciel

Les preuves circulaires : une récurrence sans fin ?

Denis Kuperberg

Niveau avancé
Niveau 3 : Avancé
ArticleLangages, programmation & logiciel

Construire des logiciels fiables

Sylvain Boulmé

Niveau avancé
Niveau 3 : Avancé