Explorez les meilleurs logiciels d’analyse de données avec une intégration transparente pour les langages de programmation tels que Python, R et SQL.

Découvrez comment concevoir, implémenter, utiliser, déployer et surveiller des applications d’analyse de données avec Java, en utilisant certaines des meilleures pratiques et outils disponibles.

Projet entièrement réalisé par Metroidzeta. Le Model Checker CTL est un projet d'études réalisé dans le cadre du cours "Systèmes Complexes" en M2 Informatique parcours Programmation et Logiciels Sûrs.