Formal Specification and Verification of Programmes 40-745 
  CE Department- Sharif University of Technology 90-1 - Group 1 

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1391-01-16 April 04, 2012 02:18 PM  
Final marks are passed to AMOZESH. see the Grades.

  1390-12-13 March 03, 2012 03:12 AM  
Come to my office on Sunday 90/12/21 to see your Final Exam paper

  1390-12-02 February 21, 2012 08:16 AM  
Final exam grades and the grades for some quizes and exercises are ready. See the Grades

  1390-11-03 January 23, 2012 05:59 AM  
Assignment 3 deadline is extended until 90/11/08.

  1390-10-27 January 17, 2012 11:43 AM  
The deadline for the final project is 1390/11/30.

  1390-10-19 January 09, 2012 03:36 PM  
refinement slide is uploaded. Check the resources.

  1390-10-18 January 08, 2012 05:46 AM  
Check the Assignments section.

  1390-10-18 January 08, 2012 05:10 AM  
Dear students,
You can collect your assignments on Monday(90/10/19, 13:00-17:00, Room #815, Dr. Movaghar's Lab.)

  1390-10-03 December 24, 2011 11:22 AM  
Assignment 2 deadline is extended until 90/10/07.

  1390-10-03 December 24, 2011 03:12 AM  
Verification and Multiple promotion slides and paper are uploaded. Check the resources.

  1390-09-20 December 11, 2011 06:19 AM  
Check the Assignments section.

  1390-09-02 November 23, 2011 02:36 PM  
Enroll example uploaded. See the resources.

  1390-08-22 November 13, 2011 01:50 PM  
Assignment 1 deadline is extended until 90/09/05.

  1390-08-15 November 06, 2011 04:41 PM  
Check the Assignments section.

  1390-08-10 November 01, 2011 11:58 AM  
Check the Grades section (Quiz 1).

  1390-08-04 October 26, 2011 02:40 PM  
See the new timetable in Resources.

  1390-07-30 October 22, 2011 12:16 PM  
The assignments file is updated (1390/07/30).

  1390-07-24 October 16, 2011 01:51 PM  
Check Resources for the final list of groups and assignments.

  1390-07-10 October 02, 2011 07:45 AM  
Check Resources for some hints on program selection.

  1390-07-02 September 24, 2011 04:36 AM  
See the timetable in the Resources.

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

3 Units
10:30-12:00
Room: 006

 This website is visited 9188 times since September 2011. Updated Monday 2020-09-07 09:19