Your search returned 2 results. Subscribe to this search

|
1. Thèses Compilation du langage Esterel en systèmes d'équations booléennes / {F. Mignard}Publication :Sophia-Antipolis : ENSMP, 1994Description : 238 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 142.928 CCL.TH.783] (2). Copies available for reference: Sophia Antipolis[EMS T-CMA-0033] (1).
2. Thèses De la sémantique opérationnelle à la spécification formelle de compilateurs [Texte imprimé] : l'exemple des boucles en Esterel / par Olivier Tardieu ; sous la direction de Gérard BerryPublication :[S.l.] : [s.n.], 2004Description : 1 vol. (130 p.) ; 30 cmAvailability: Click here to access online Copies available for reference: Centre de recherche en informatique[04 TAR] (1), Sophia Antipolis[EMS T-CMA-055] (1).

Powered by Koha

//]]>