Séances de cours associées à Sous-typage et génériques

Séances de cours associées (32)

Explore les concepts de programmation orientés objet, le polymorphisme, l'héritage et la liaison dynamique en Java, soulignant l'importance d'une comparaison correcte des objets.

Compilateur de vérification: Approche Spec#

Explore le système de programmation Spec#, en se concentrant sur un compilateur de vérification pour C# 2.0.