Un système formel de transformation de programmes pour leur exécution sur machines parallèles

Bibliographic Details
Main Author:	Yu, Xiaobo
Language:	FRE
Published:	1992
Subjects:	[INFO:INFO_MO] Computer Science/Modeling and Simulation programmation transformationnelle programmation parallèle système de transformation lois algébrique de transformation vérification formelle placement de programmes machines parallèles:mémoire distribuée
Online Access:	http://tel.archives-ouvertes.fr/tel-00341778 http://tel.archives-ouvertes.fr/docs/00/34/17/78/PDF/Yu.Xiaobo_1992_these.pdf

id	ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-00341778
record_format	oai_dc
spelling	ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-003417782013-01-07T18:28:51Z http://tel.archives-ouvertes.fr/tel-00341778 http://tel.archives-ouvertes.fr/docs/00/34/17/78/PDF/Yu.Xiaobo_1992_these.pdf Un système formel de transformation de programmes pour leur exécution sur machines parallèles Yu, Xiaobo [INFO:INFO_MO] Computer Science/Modeling and Simulation programmation transformationnelle programmation parallèle système de transformation lois algébrique de transformation vérification formelle placement de programmes machines parallèles:mémoire distribuée . 1992-11-12 FRE PhD thesis
collection	NDLTD
language	FRE
sources	NDLTD
topic	[INFO:INFO_MO] Computer Science/Modeling and Simulation programmation transformationnelle programmation parallèle système de transformation lois algébrique de transformation vérification formelle placement de programmes machines parallèles:mémoire distribuée
spellingShingle	[INFO:INFO_MO] Computer Science/Modeling and Simulation programmation transformationnelle programmation parallèle système de transformation lois algébrique de transformation vérification formelle placement de programmes machines parallèles:mémoire distribuée Yu, Xiaobo Un système formel de transformation de programmes pour leur exécution sur machines parallèles
description	.
author	Yu, Xiaobo
author_facet	Yu, Xiaobo
author_sort	Yu, Xiaobo
title	Un système formel de transformation de programmes pour leur exécution sur machines parallèles
title_short	Un système formel de transformation de programmes pour leur exécution sur machines parallèles
title_full	Un système formel de transformation de programmes pour leur exécution sur machines parallèles
title_fullStr	Un système formel de transformation de programmes pour leur exécution sur machines parallèles
title_full_unstemmed	Un système formel de transformation de programmes pour leur exécution sur machines parallèles
title_sort	un système formel de transformation de programmes pour leur exécution sur machines parallèles
publishDate	1992
url	http://tel.archives-ouvertes.fr/tel-00341778 http://tel.archives-ouvertes.fr/docs/00/34/17/78/PDF/Yu.Xiaobo_1992_these.pdf
work_keys_str_mv	AT yuxiaobo unsystemeformeldetransformationdeprogrammespourleurexecutionsurmachinesparalleles
_version_	1716453155357589504

Un système formel de transformation de programmes pour leur exécution sur machines parallèles

Similar Items