méthode B
concept méthode formelle
Aussi : Click'n'Prove, B4free, Methode B
Nature : processus de développement logiciel
Catégories : logiciels · informatique et technologie · concepts abstraits
Mots du lexique : Méthode nom propre
concept méthode formelle
Aussi : Click'n'Prove, B4free, Methode B
Nature : processus de développement logiciel
Catégories : logiciels · informatique et technologie · concepts abstraits
Mots du lexique : Méthode nom propre