 | |
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 |
[Info corso] Metodi formali di verifica di protocolli
Clicca QUI per vedere il messaggio nel forum |
| Sauzer |
Qualcuno ha delle info su questo complementare????
Sul DICO tanto per cambiare non si trova nulla... :sad:
Grazie in anticipo
Sauzer |
| recoil |
non sarà qualcosa di simile a logica? dopotutto Ghilardi parlava di verifica dei protocolli quindi può darsi che si usino dei simulatori tipo SPASS o cose del genere
certo che i siti dei corsi sono spesso inutili... |
| 0m4r |
| temo anche io che sia simile a logica |
|
|
|
|
