Séances de cours associées à Composition de l'acteur : modèles et stratégies

Séances de cours associées (32)

Explore les propriétés des relations, la monotonie, la sémantique des variables locales et la traduction dans les programmes.

Couvre les propriétés de l'intégrale sur S-up, y compris la linéarité et la monotonie.