Formal Specification and Verification of Programs 40745 
  CE Department- Sharif University of Technology 98-99-1 - Group 1 

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1398-12-05 February 24, 2020 12:56 PM  
I have passed the final grades to AMOOZESH

  1398-11-20 February 09, 2020 06:48 AM  
Final Exam marks are ready. See the Grades. To see your Final paper come to my office
Today 11-12, 15-17
Monday 15-17.

  1398-06-20 September 11, 2019 07:00 AM  
Please see the course timetable in Resources.

Instructor:
Seyed-Hassan Mirian-Hosseinabadi
(hmirian at sharif domain name)

3 Units
10:30-12:00

 This website is visited 2714 times since September 2019. Updated Monday 2020-09-07 09:55