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

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1394-11-21 February 10, 2016 07:55 AM  
Final grades are passed to AMOOZESH. see Grades

  1394-11-13 February 02, 2016 12:00 PM  
ورژن دوم نمرات کوئیز و تمرینات در قسمت  ریسورس قرار داده شده است.
در صورت هرگونه تناقض لطفا سریع اطلاع دهید
مافی

  1394-11-12 February 01, 2016 10:05 AM  
See the final grades in Grades. The grade will be passed to AMOOZESH on 94/11/19

  1394-10-25 January 15, 2016 09:53 PM  
نمرات کوییز در قسمت گریدز قرار داده شده است. حتما در صورت وجود تناقض اطلاع دهید و در روز ارائه کوئیز مربوطه را همراه بیاورید

  1394-10-25 January 15, 2016 09:55 PM  
جدول زمانی ارائه حضوربه روز رسانی شد. گروه 5 هرچه سریعتر تاریخ ارائه خود را مشخص نماید.

  1394-10-23 January 13, 2016 08:51 AM  
دو زمان دیگر برای تاریخ ارائه حضوری اضافه شد.

  1394-10-20 January 10, 2016 06:19 PM  
Please see the Calendar and new version of the Selected Problems file in Resources.

  1394-09-23 December 14, 2015 08:10 AM  
see the new timetable in resources.

  1394-09-03 November 24, 2015 08:57 AM  
Attention: 7 of 9 group assignment received on time.

  1394-08-19 November 10, 2015 12:14 AM  
Please see the Calendar and final version of the Selected Problems file in Resources.

  1394-08-19 November 10, 2015 12:12 AM  
See Selected Problems4 in Resources.

  1394-08-12 November 03, 2015 11:28 AM  
Please see the new version of Timetable in Resources

  1394-08-09 October 31, 2015 03:45 AM  
See Selected Problems3 in Resources.

  1394-08-08 October 30, 2015 02:02 PM  
See Selected Problems2 in Resources.

  1394-08-02 October 24, 2015 06:41 AM  
See Selected Problems1 & Document Template in Resources.

  1394-06-23 September 14, 2015 03:23 PM  
See the timetable in the Resources

Instructor:
Seyed-Hassan Mirian-Hosseinabadi
(hmirian At Sharif Doamin Name)

3 Units
10:30-12:00

 This website is visited 3769 times since September 2015. Updated Wednesday 2016-02-10 07:55