Corrigés TD-TP Sciences et techniques sanitaires et sociales T ST2S

TD n° 2 (Logique temporelle). Exercice n°1 : ... Exclusion mutuelle : P et Q n'arrivent jamais en même temps ; ... Corrigé TD N°2. Exercice n°2 : 1. La propriété P ...