Ryan007 a écrit:
Bonjour,
Vous utilisez le langage B? Est-ce toujours d'actualité si je puis me permettre? Ou vous parlez de langage B comme binaire?
J'étais aussi surpris, mais, apparemment, c'est pas le langage de programmation B, c'est une méthode de vérification des applications :
https://www.clearsy.com/wp-content/uploads/Présent...
Je pense que ce support du cours contient deux exemples qui peuvent aider.