Risolto un bug che impediva una corretta compilazione. Aggiunto un  capitolo su logica di Floyd-Hoare. Aggiunto un esercizio sulla logica di Floyd-Hoare