Linéarité un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation /

Description

Thèse de doctorat : Informatique : INPL : 2007. Thèse de doctorat : Informatique : Université de Torino - ITALIE : 2007. / Titre provenant de l'écran-titre.

Links & Downloads

1. http://www.scd.inpl-nancy.fr/theses/2007_GABOARDI_M.pdf

Tags

Langages de programmation

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/494105344
Date	January 2007
Creators	Gaboardi, Marco Marion, Jean-Yves. Ronchi Della Rocca, Simona.
Publisher	S. l. : S. l. : INPL ; Université de Torino - ITALIE,
Source Sets	OCLC
Language	English
Detected Language	French