Explore le mouvement balistique dans un cadre accéléré, la force de Coriolis, le pendule Foucault, les équations de cadre rotatif et l'application des lois de Kepler.
Explore les techniques de test logiciel avancées, y compris les tests basés sur les propriétés, pour assurer l'exactitude du code et améliorer la qualité du logiciel.
