Your search returned 3 results. Subscribe to this search

|
1.  Monographies, textes AUTO : un systéme de vérification de processus paralléles et communicants : A verification system for parallel and communicating processes / Valérie Lecompte, Eric Madelaine, Didier VergaminiPublication : Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1987Description : 20 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3553] (1).
2.  Monographies, textes Langages synchrones / {S. Phan} = Synchronous languages. Study of a concrete case with Agel-Esterel, a software engineering center : pré-évaluation d'Agel-Esterel sur un cas concretPublication : Clamart : EDF-DER, 1993, 1994Description : 77 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 155B (94NJ00011)] (1).
3. Thèses Vérification automatique de programmes Esterel / {V. Lecompte}Publication : Sophia-Antipolis : ENSMP, 1989Description : 161 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 138.811 CCL.TH.625] (2).

Powered by Koha