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=137053355.

Formal specification and verification of distributed component systems [Texte imprimé] / par Antonio Cansado ; sous la direction d'Éric Madelaine

Date :

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

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

SDL (langage de programmation) -- Thèses et écrits académiques

Traitement réparti -- Thèses et écrits académiques

Logiciels -- Vérification -- Thèses et écrits académiques

Madelaine, Éric (Directeur de thèse / thesis advisor)

École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (Ecole doctorale associée à la thèse / doctoral school)

Université de Nice (Organisme de soutenance / degree-grantor)

Université de Nice-Sophia Antipolis. Faculté des sciences (Organisme de soutenance / degree-grantor)