Return to search

Génération et preuve de compilateurs basées sur une sémantique formelle des langages de programmation.

Th.--Sci. phys.--Nancy--I.N.P.L., 1980.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/464932941
Date January 1900
CreatorsGaudel, Marie-Claude,
Publisher[S.l. : s.n.,
Source SetsOCLC
LanguageFrench
Detected LanguageFrench

Page generated in 0.0015 seconds