Methods of Software System Specification (2002/2003)

  1. Home
  2. Teaching
  3. Master’s degrees (no longer running)
  4. Masters in Computer Science
  5. Insegnamenti

Course partially running

Course code
4S00053
Name of lecturer
Giuseppe Scollo
Number of ECTS credits allocated
5
Other available courses
Language of instruction
Italian
Location
VERONA
Period
Third four-month term dal Apr 7, 2003 al Jun 13, 2003.
Course news Seminars related to the course

Lesson timetable

Reference books
Author Title Publisher Year 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

Teaching aids

Documents

Share