5646 articles – 1 Notice  [english version]
.:. Consultation > Liste par domaine > Logique en informatique .:.
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