mirage

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."

DSpace/Manakin Repository

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."

Sort by: Order: Results:

Sorry, there are no results for this browse.

Bookmark and Share