Telecharger Cours

Objectifs de la Méthode B

B est une méthode de spécification formelle qui permet, grâce à un langage ... projet Européen Rodin en cours a pour but de consolider ce langage et de fournir ...



Download