Methods of Software System Specification (2003/2004)

  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
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Location
VERONA
Period
Second four-month term dal Jan 12, 2004 al Mar 12, 2004.
Web page
http://amarena.sci.univr.it/edu/pub/bscw.cgi/0/1278846
Course news Seminars related to the course

Lesson timetable

Reference books
Author Title Publisher Year ISBN Note
Peter D. Mosses, Michel Bidoit CASL User Manual Springer-Verlag 2004 354020766X in corso di pubblicazione, gennaio 2004

Teaching aids

Documents

Share