Methodes formelles de verification des applications
Hors ligneNgchris Le 18/01/2018 à 22:44 Profil de Ngchris Configuration de Ngchris

Besoin d'aide sur la specification formelle plus precisement sur le langage B

Hors ligneRyan007 Le 30/01/2018 à 12:32 Profil de Ryan007 Configuration de Ryan007

Bonjour,

Vous utilisez le langage B? Est-ce toujours d'actualité si je puis me permettre? Ou vous parlez de langage B comme binaire?

--

Pour votre site e-commerce sur mesure

Vous avez résolu votre problème avec VIC ? Faites-le savoir sur les réseaux sociaux !
Vulgarisation-informatique.com
Cours en informatique & tutoriels