2930 articles  [english version]
.:. Consultation > Liste par discipline > Performance et fiabilité .:.
1 document
fulltext access Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels
Tesson J.
Université d'Orléans (08/11/2011), Frédéric Loulergue (Dir.) [tel-00660554 - version 3]		 STAR - Dépôt national des thèses électroniques