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

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1396-11-24 February 13, 2018 02:31 PM  
Final exam marks and your final grades are ready. Check the Grades. To see your final exam paper send me an Email to set a time not later than Saturday 96/11/28. The final grades will be passed to AMOOZESH on Monday 96 /11/30.

  1396-09-28 December 19, 2017 03:06 PM  
صورت پروژه‌ی پایانی در قسمت منابع بارگزاری شده است

  1396-09-11 December 02, 2017 03:29 PM  
تمرین دوم درس در قسمت منابع بارگزاری شده است.

  1396-08-30 November 21, 2017 02:24 PM  
See the Resources. The new Timetable is uploaded

  1396-08-23 November 14, 2017 05:30 PM  
دو مثال از توصیف در قسمت منابع قرار گرفته است.

  1396-07-29 October 21, 2017 01:28 AM  
فایل توضیحات تمرین اول در قسمت منابع بارگزاری شده است.

  1396-07-18 October 10, 2017 11:50 AM  
سه برنامه‌ی پیشنهادی خود را تا تاریخ ۲۵ مهرماه ارسال کنید.
در قسمت منابع فایلی حاوی توضیحات مناسب در مورد سه برنامه قرار داده شده است.

  1396-07-10 October 02, 2017 03:53 AM  
See the Resources. The new Timetable is uploaded.

  1396-06-21 September 12, 2017 03:42 AM  
Welcome. Please see the Timetable in Resources.

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

3 Units
Saturday and Monday 10:30-12:00
Room: 402

 This website is visited 1252 times since September 2017. Updated Tuesday 2018-02-13 14:31