News

4 seminari di introduzione al dimostratore interattivo Coq

Mercoledì 31 Maggio, Giovedì 1, Mercoledì 7, Giovedì 8 Giugno 2017, ore 13:30 - LabTA - Enrico Tassi

ARGOMENTI: Seminari

Mercoledì 31 Maggio, Giovedì 1, Mercoledì 7, Giovedì 8 Giugno 2017 alle ore 13:30 in LabTA, Enrico Tassi (Inria - Parigi) terrà una serie di 4 seminari di introduzione al dimostratore interattivo Coq.

Download Ulteriori informazioni