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

Réactions synchrones [Texte imprimé] : spécification et analyse / par Mirabelle Nebut ; sous la dir. de Paul Le Guernic

Date :

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

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Systèmes à réaction -- Thèses et écrits académiques

Synchronisation -- Thèses et écrits académiques

Langages de programmation -- Sémantique -- Thèses et écrits académiques

Méthodes formelles (informatique) -- Thèses et écrits académiques

Systèmes, Analyse de -- Thèses et écrits académiques

Statique -- Thèses et écrits académiques

Le Guernic, Paul (Directeur de thèse / thesis advisor)

Université de Rennes 1 (Organisme de soutenance / degree-grantor)