Écrire des programmes prouvés corrects avec Coq Garantir mathématiquement le respect d'une spécification programmation coq méthodes formelles
Participez à un atelier de programmation ZdS ! A l'occasion de la semaine européenne du code, en octobre code zds informatique
Mais pourquoi ça bug ? Itinéraire d'une erreur de programmation gestion de projet programmation tests
La cryptanalyse (méthodes antiques) Comment a-t-on cassé les premières méthodes de chiffrage mathématiques algorithmique programmation
Les bases de la programmation Ou comprendre ce qu’est un programme, un langage de programmation, l’algorithmique. programmation
