« Langage B » : différence entre les versions

Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (- n'est pas + n’est pas , - Aujourd'hui + Aujourd’hui , - d'euros + d’euros , - d'agir + d’agir , - l'apparence + l’apparence )
m Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n)
Ligne 11 :
 
 
== Utilisation du langage B ==
Le B a été utilisé pour divers projets d'envergure tel que la ligne 14 du métro parisien. Grâce aux travaux effectués par Ericson sur ce projet le langage a pu progresser, ainsi que le prouveur.
 
== Objectif de ce cours ==
Le but de ce cours est de permettre de comprendre la syntaxe et les particularités du langage B.
 
== Vocabulaire ==
Une Machine : Un modèle de système écrit en B
 
== Première machine ==
La première machine que nous allons voir permet de décrire un programme qui permute la valeur de deux variables.
<source lang=C>