mirage

Parcourir par le sujet "(FRE) Programmation parallèle, spécification et validation de programmes, sémantique des langages de programmation, langages data-parallèles, système de preuve, logique de hoare, plus faibles préconditions."

Système d'archivage DSpace/Manakin

Parcourir par le sujet "(FRE) Programmation parallèle, spécification et validation de programmes, sémantique des langages de programmation, langages data-parallèles, système de preuve, logique de hoare, plus faibles préconditions."

Tri par : Ordre : Résultats :

Désolé, il n'y a pas de résultats

Bookmark and Share