Séances de cours associées à Meta-metaprogramming: Outils avancés pour l'ingénierie logicielle

Séances de cours associées (32)

Couvre les bases de Coq, en se concentrant sur les expressions arithmétiques, l'évaluation et les techniques de preuve.

Couvre la définition, les types et le processus de construction des logiciels, y compris les logiciels système et les applications.