Utiliser une bibliothèque sous Windows avec MinGW ou Code::Blocks en langage C

• c

Le guide du contributeur

• zds
• guide du contributeur
• aide aux auteurs

La programmation en C++ moderne

Apprenez la programmation de zéro jusqu'à l'infini !

• c++
• c++17
• c++20

Introduction à la preuve de programmes C avec Frama-C et son greffon WP

Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés.

• c
• méthodes formelles
• preuve déductive

De la logique aux processeurs

Ou « comment passe-t-on des maths à un ordinateur ? »

• mathématiques
• logique