Browsing by Subject "(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."

Sorry, there are no results for this browse.

Search DSpace