Pages: [1]   Go Down
Print
Author Topic: Scelta argomenti  (Read 395 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
AndreaDeDomenico
Matricola
*
Offline Offline

Posts: 10



« on: 27-05-2019, 13:28:15 »

Salve professore, nelle prossime lezioni vorremmo approfondire i seguenti quattro argomenti (in ordine casuale):

- Model checking
- Lambda calcolo tipato
- Ripasso del pi-calcolo
- Logica temporale (con esempi)

Grazie (:

Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.075



WWW
« Reply #1 on: 27-05-2019, 21:01:16 »

Ok.
Logged
Pages: [1]   Go Up
Print
Jump to: