Différences entre les versions de « Langage B »

9 octets ajoutés ,  il y a 10 ans
m
Robot : Changement de type cosmétique
m (Robot : Changement de type cosmétique)
 
 
== Utilisation du langage B ==
Le B à été utilisé pour divers projet d'envergure tel que la ligne 14 du métro parisien. Grace au travaux effectué par Ericson sur ce projet le langage à 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 variable.
<code language=B>
 
{{Autres projets|w=Méthode B|b=Programmation méthode B}}
 
[[Catégorie:Programmation informatique]]
140 590

modifications