Return to search

Validation sémantique dans les théories structurées application à un langage de programmation générique /

Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 177-185.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/494470296
Date January 2008
CreatorsDrabik, Pascal. Bert, Didier. Mossière, Jacques. Jorrand, Philippe.
PublisherS.l. : Université Grenoble 1,
Source SetsOCLC
LanguageFrench
Detected LanguageFrench

Page generated in 0.0022 seconds