Metodi di specifica di sistemi software (2002/2003)

  1. Home
  2. Didattica
  3. Corsi di laurea magistrale / specialistica (a esaurimento / disattivati)
  4. Laurea specialistica in Informatica
  5. Insegnamenti

Corso a esaurimento

Codice insegnamento
4S00053
Docente
Giuseppe Scollo
crediti
5
Altri corsi di studio in cui è offerto
Lingua di erogazione
Italiano
Sede
VERONA
Periodo
3° dal 7-apr-2003 al 13-giu-2003.
Avvisi relativi al corso Seminari relativi al corso

Orario lezioni

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

Condividi