Automatic System Analysis and Verification (2002/2003)

Course partially running

Course code
4S00051
Name of lecturer
Roberto Giacobazzi
Number of ECTS credits allocated
5
Other available courses
Language of instruction
Italian
Location
VERONA
Period
Second four-month term dal Jan 13, 2003 al Mar 14, 2003.
Web page
http://profs.sci.univr.it/~giaco/mf.html

Lesson timetable

Second four-month term
Day Time Type Place Note
Monday 10:30 AM - 12:30 PM lesson Lecture Hall M  
Wednesday 8:30 AM - 10:30 AM lesson Lecture Hall M  
Thursday 12:30 PM - 1:30 PM lesson Lecture Hall L  
Reference books
Author Title Publisher Year ISBN Note
Renzo Costi Il mercato mobiliare (Edizione 2) Giappichelli, Torino 2000
Davey and Priestley Introduction to Lattices and Order Cambridge 1992
F. Nielson, H. R. Nielson and C. Hankin Principles of Program Analysis Springer-Verlag 1999
G. Winskel The formal Semantics of Programming Languages MIT Press 1993

Teaching aids

Documents