- Approche fonctionnelle d’ORI-OAI et démarche de projet (7)
- Créer des documents avec Scenari (10)
- Des rivières et des hommes : hydrologie, hydraulique et géomorphologie (29)
- Études et recherche marketing (15)
- Introduction à la mécanique via l’Hermione (5)
- Introduction à la vérification de programme (6)
- La mécanique de la rupture : de la recherche aux applications industrielles (11)
- La mécatronique (5)
- L'approche sémantique et les données liées (7)
- Learning Object-Oriented Programming in Pharo (10)
- Les moteurs de recherche (6)
- Panorama des objets connectés (6)
- Opérations unitaires polyphasiques
- Promotion des études scientifiques et techniques (19)
- Quelques aspects des bateaux volants (3)
- Simuler pour optimiser (5)
- Usine 4.0 (4)
- VideoManip : l'expérience magistrale au bout du clic (10)
unitTV
Introduction à la vérification de programme
-
Sciences de l’ingénieur
Vidéocours
14 min
LABEL UNT
Propos liminaire (Introduction à la vérification de programme)
-
Sciences de l’ingénieur
Vidéocours
10 min
LABEL UNT
Exécution symbolique (Introduction à la vérification de programme)
-
Sciences de l’ingénieur
Vidéocours
11 min
LABEL UNT
Récursivité (Introduction à la vérification de programme)
-
Sciences de l’ingénieur
Vidéocours
10 min
LABEL UNT
Raisonnement mathématique (Introduction à la vérification de programme)
-
Sciences de l’ingénieur
Vidéocours
9 min
LABEL UNT
Assistant de démonstration (Introduction à la vérification de programme)
-
Sciences de l’ingénieur
Vidéocours
5 min
LABEL UNT
Conclusion (Introduction à la vérification de programme)
