CS206 : Formal Methods in Computer Science

Spring 2004

Instructor

Bhargav S Gulavani
(bhargav @ cse.iitb.ac.in)
Vibhav Mundra
(vibhav @ cse.iitb.ac.in)

A1 (Maths Dept.)

Tuesday 9:30 - 10:30 AM
Thursday 10:30 - 11:30 AM
Friday 8:30 - 9:30 AM

Check this space for announcements!

Final Marks

Prolog Resources
Here are the local Prolog resourses.(FAQ, Local copy of the Prolog Reference Manual, Examples taken in class here )
Modal Logic Reading List

Home Pages for Computer Science and Engineering Department
and Indian Institute of Technology, Bombay