Introduction aux méthodes formelles - Module Développement ...

Introduction aux méthodes formelles - Module Développement ...

Génie logiciel, Méthodes formelles, Intégration de méthodes, ... Logique, Z, Langages de spécification algébriques, alg`ebres de processus, etc.