Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=139912231.

Intégration des méthodes formelles au développement dirigé par les modèles, pour la conception et la vérification des systèmes et applications répartis [Texte imprimé] / Lom Messan Hillah ; sous la direction de Fabrice Kordon

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2009

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Kordon, Fabrice (Directeur de thèse / thesis advisor)

Université Pierre et Marie Curie (Paris) (1971-2017) (Organisme de soutenance / degree-grantor)