Contribution à l'étude de la logique linéaire comme formalisme de modélisation et de spécification /

Description

Th. doct.--Informatique et réseaux--Paris--ENST, 1998. / Bibliogr. p. 127-132. Index. Résumé en français et en anglais.

Links & Downloads

1. http://catalogue.bnf.fr/ark:/12148/cb37054938h

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/468253281
Date	January 1999
Creators	Leneutre, Jean.
Publisher	Paris : École nationale supérieure des télécommunications,
Source Sets	OCLC
Language	French
Detected Language	French