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

Similar Items