Your search returned 77 results. Subscribe to this search

|
76.  Monographies, textes Using rewriting techniques to produce code-generators and proving them correct / Annie Despland, Monique Mazaud, Raymond RakotozafyPublication : Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1989Description : 31 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6361] (1).
77. Vérifications efficaces des applications scientifiques par analyse statique et instrumentation de code / par Thi Viet Nga Nguyen ; sous la dir. de François IrigoinPublication : 2002Description : 1 vol. (189 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 150.759 CCL.TH.1063] (2). Copies available for reference: Centre de recherche en informatique[02 NGU] (1).

Powered by Koha