UE Introduction au langage formel et à la démonstration

UE Introduction au langage formel et à la démonstration
Cursus master ingénierie (CMI) - UFR de mathématique et d'informatiqueParcours Cursus master ingénierie (CMI) - Informatique, systèmes et réseaux

ComposanteUFR de mathématique et d'informatique
Credits2 crédits
Catalogue2024-2025