Homepage  Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum


.dsy:it. .dsy:it. Archive > Didattica > Corsi G - M > Logica matematica
 
Metodi formali per la verifica di protocolli
Clicca QUI per vedere il messaggio nel forum
Eruyomë
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.

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

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

Powered by: vbHome (lite) v4.1 and vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento |Licenze | Thanks | Syndacate