Cours sur la formalisation mathématique et les outils pour le calage et la validation

Le 5 septembre 2013, CITiES organise un cours sur la formalisation mathématique et les outils pour le calage et la validation
Plus d’info >> Ici< < .