Formal Specification and Verification of Programs ce745 
  CE Department- Sharif University of Technology Spring - Group 1 

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1384-03-16 June 06, 2005 12:05 AM  
Sample files to help you completing your final project are available now. Please refer to Resources page.

  1384-03-16 June 06, 2005 12:04 AM  
Equational Logic slides are available

  1383-12-24 March 14, 2005 04:55 PM  
Students problems finalized.

Instructor:
Seyed-Hassan Mirian-Hosseinabadi
(mirian@sharif.edu)

3 Units
Monday Wednesday, 10:30-12
Room: Khodro 7
















 This website is visited 7013 times since March 2005. Updated Monday 2015-04-06 12:22