Telecharger Cours

Langage B - IRIT

La méthode B sert `a produire les logiciels ou des syst`emes (matériel + logiciel) prouvés. Elle est constituée du langage B, notation mathématique et structur ...



Download