Examens corriges

IFT 630 Processus concurrents et parallélisme - h-deb

This approach uses categorical constructions to model the denotational ... La compilation d'un test d'égalité `a 0 ou `a N sur la pile booléenne est décrite ...



Télécharger