slacky.eu

salve,

qualcuno mi saprebbe indicare un buon libro, o appunti in pdf che tratti dei metodi formali?
grazie

Prova a vedere queste dispense:

http://www.di.univaq.it/monica/MFI/MainIndice.ps.gz

prese da qui:

http://www.di.univaq.it/monica/didattica05-06.html#mfi

prova anche quì, ci potrebbe essere qualcosa che potrebbe interessarti

http://www.dis.uniroma1.it/~tmancini/in ... .materiale

grazie partirò da questi link...