Algèbres de Kleene pour l'analyse statique des programmes : un nouveau cadre

Description

Thèse (Ph. D.)--Université Laval, 2008. / Titre de l'écran-titre (visionné le 2 sept. 2008). Bibliogr.

Links & Downloads

1. http://www.theses.ulaval.ca/2008/25430/25430.pdf

Tags

Logiciels

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/276984706
Date	January 1900
Creators	Fernandes, Therrezinha.
Publisher	Québec : Université Laval,
Source Sets	OCLC
Language	French
Detected Language	French