Analyse statique de programmes fondements et applications /

Description

Habilitation à diriger des recherches : Informatique : Rennes 1 : 1999. / Bibliogr. p.103-111.

Links & Downloads

1. ftp://ftp.irisa.fr/techreports/habilitations/jensen.pdf

Tags

Inférence Analyse des données

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/494610907
Date	January 1999
Creators	Jensen, Thomas
Publisher	[S.l.] : [s.n.],
Source Sets	OCLC
Language	French
Detected Language	French
Source	Accès au texte intégral