11107 articles  [english version]
.:. Consultation > Liste par domaine > Logique en informatique .:.
2 documents classés par :

fulltext access Développement et vérification des logiques probabilistes et des cadres logiques
Maksimović P.
Université Nice Sophia Antipolis Univerzitet u Novom Sadu (15/10/2013), Luigi Liquori;Silvia Ghilezan (Dir.) [tel-00907854 - version 3]
STAR - Dépôt national des thèses électroniques
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