Méthodes de conception de logiciels fiables et sécurisés
EXAMEN DE SPÉCIALITÉ ... A.1.3 Langages de spécifications algébriques . ... Les méthodes de spécifications formelles sont utilisées en génie logiciel pour.
EXAMEN DE SPÉCIALITÉ ... A.1.3 Langages de spécifications algébriques . ... Les méthodes de spécifications formelles sont utilisées en génie logiciel pour.