Différences entre les versions de « Langage B »

1 octet ajouté ,  il y a 10 ans
m
Robot : Remplacement de texte automatisé (-\b(g|G)race ([aà]|au(x?))\b +\1râce \2)
m (Robot : Changement de type cosmétique)
m (Robot : Remplacement de texte automatisé (-\b(g|G)race ([aà]|au(x?))\b +\1râce \2))
 
== Utilisation du langage B ==
Le B à été utilisé pour divers projet d'envergure tel que la ligne 14 du métro parisien. GraceGrâce au travaux effectué par Ericson sur ce projet le langage à pu progresser, ainsi que le prouveur.
 
== Objectif de ce cours ==
140 590

modifications