Metodi di specifica di sistemi software (2002/2003)

Corso a esaurimento

Codice insegnamento
4S00053
Docente
Giuseppe Scollo
crediti
5
Altri corsi di studio in cui è offerto
Lingua di erogazione
Italiano
Periodo
dal 7-apr-2003 al 13-giu-2003.

Orario lezioni

Giorno Ora Tipo Luogo Note
lunedì 11.30 - 13.30 lezione Aula C  
martedì 16.30 - 18.30 lezione Aula C  
mercoledì 14.30 - 15.30 lezione Aula C  
Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
S. S. Mader BIOLOGIA: l’essenziale Piccin 2012
A. Asperti, G. Longo Categories, Types and Structures. An introduction to Category Theory for the working computer scientist. M.I.T. Press 1991 0262011255

Materiale didattico

Documenti