Return to search

Algèbre de programmes dans un univers type

Reproduction de : Thèse de 3e cycle- : informatique : Grenoble, INPG : 1985. / Titre provenant de l'écran-titre. Bibliogr. p. 109-115.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/494326733
Date January 2008
CreatorsBensalem, Saddek.
PublisherS.l. : Université Grenoble 1,
Source SetsOCLC
LanguageFrench
Detected LanguageFrench

Page generated in 0.0021 seconds