salve,
qualcuno mi saprebbe indicare un buon libro, o appunti in pdf che tratti dei metodi formali?
grazie
metodi formali
Moderatore: Staff
Regole del forum
1) Rispettare le idee altrui.
2) Evitare le offese dirette.
3) Leggere attentamente le risposte ricevute
4) Scrivere i messaggi con il colore di default, evitare altri colori.
5) Scrivere in Italiano o in Inglese, se possibile grammaticalmente corretto, evitate stili di scrittura poco chiari, quindi nessuna abbreviazione tipo telegramma o scrittura stile SMS o CHAT.
6) Appena registrati è consigliato presentarsi nel forum dedicato.
La non osservanza delle regole porta a provvedimenti di vari tipo da parte dello staff, in particolare la non osservanza della regola 5 porta alla cancellazione del post e alla segnalazione dell'utente. In caso di recidività l'utente rischia il ban temporaneo.
1) Rispettare le idee altrui.
2) Evitare le offese dirette.
3) Leggere attentamente le risposte ricevute
4) Scrivere i messaggi con il colore di default, evitare altri colori.
5) Scrivere in Italiano o in Inglese, se possibile grammaticalmente corretto, evitate stili di scrittura poco chiari, quindi nessuna abbreviazione tipo telegramma o scrittura stile SMS o CHAT.
6) Appena registrati è consigliato presentarsi nel forum dedicato.
La non osservanza delle regole porta a provvedimenti di vari tipo da parte dello staff, in particolare la non osservanza della regola 5 porta alla cancellazione del post e alla segnalazione dell'utente. In caso di recidività l'utente rischia il ban temporaneo.
-
Johnn
- Linux 0.x
- Messaggi: 67
- Iscritto il: sab 28 apr 2007, 18:53
- Slackware: current
- Kernel: 2.6.29.4
- Desktop: kde 4.2.4
Re: metodi formali
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
http://www.di.univaq.it/monica/MFI/MainIndice.ps.gz
prese da qui:
http://www.di.univaq.it/monica/didattica05-06.html#mfi
-
elendil
- Linux 1.x
- Messaggi: 103
- Iscritto il: sab 9 ago 2008, 12:39
- Nome Cognome: Valerio
- Slackware: 14
- Kernel: 3.2.29
- Desktop: xfce
- Distribuzione: SalixOS
- Località: Carpineto Romano (RM)
Re: metodi formali
prova anche quì, ci potrebbe essere qualcosa che potrebbe interessarti 
http://www.dis.uniroma1.it/~tmancini/in ... .materiale
http://www.dis.uniroma1.it/~tmancini/in ... .materiale
"In wars boy, fools kill other fools for foolish causes." (R. Jordan, The Wheel of Time book 1)
-
smtux
- Linux 3.x
- Messaggi: 977
- Iscritto il: gio 1 set 2005, 0:00
- Slackware: 12.0
- Località: somewhere in the time
Re: metodi formali
grazie partirò da questi link...