.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- Metodi formali per la verifica di protocolli (http://www.dsy.it/forum/showthread.php?threadid=28985)

Metodi formali per la verifica di protocolli

Sto preparando questo esame che giudico tra i più ributtanti di tutto il corso di laurea...
Per favore c'è qualcuno che ha già sostenuto l'esame che può postare velocemente com'è l'andazzo all'esame con il simpatico(..) Ranise?
Tipi di domande, quanto è esigente nelle risposte etc...
Grazie mille a chiunque risponda.

__________________
Io sono la fata verde. Sono la rovina e il rimpianto, la vergogna e il disonore. Io sono la morte, io sono l'assenzio...

Ops poi ho trovato che il thread c'era già.....

http://www.dsy.it/forum/showthread....15&pagenumber=1

__________________
Io sono la fata verde. Sono la rovina e il rimpianto, la vergogna e il disonore. Io sono la morte, io sono l'assenzio...