Telecharger Cours

Les logiciels avec B - CERIST

La méthode B tout au long du cycle de vie d'un logiciel utilise un formalisme unique connu sous le nom du Langage B .En effet B découpe le système en plusieurs ...



Download