Cours, TD et TP de preuves de programmes - IRIF
Le processus de la figure 3.2.4 n'a pas l'air stationnaire car la variance des points ne paraît pas constante. Le processus de la figure 3.2.5 a l'air ...Télécharger Cours, TD et TP de preuves de programmes - IRIF pdf
