Formal Specification and Verification of Programms 40745 
  CE Department- Sharif University of Technology 95-96-1 - Group 1 

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1395-11-20 February 08, 2017 03:23 PM  
Final Marks are passed to AMOOZESH

  1395-11-19 February 07, 2017 07:23 AM  
Final Marks are ready see the GRades

  1395-11-11 January 30, 2017 06:18 PM  
Final marks are ready partially. See Grades.

  1395-11-02 January 21, 2017 05:37 AM  
زمان بندی تحویل حضوری تمرینات
به منظور تحویل حضوری سه تمرین گروهی شما روزهای شنبه 9 و دوشنبه 11 بهمن ماه صبح ساعت 10 تا 12 درنظر گرفته شده است
برای تعیین زمان موردنظر خود در بازه های زمانی نیم ساعته و عدم تداخل ساعات از طریق
Discussion Area
زمان موردنظر خود را اعلام نمایید.


توجه:
تمامی اعضای گروه در زمان تحویل بایستی حضور داشته باشند
در روز تحویل پروژه پرینت تمامی تمرینات را به همراه داشته باشید
همچنین فایل های
.tex و .pdf
تمامی تمرینات بایستی روی سی دی تحویل داده شود

  1395-10-15 January 04, 2017 05:41 AM  
دانشجویان عزیز سلام
به علت اشتباه پیش آمده و طبق فرمایش آقای دکتر میرین برای اینکه حقی از شما ضایع نشود، زمان ارائه تمرین سوم تا روز 11 بهمن ماه تمدید شد.

اما دانشجویانی که در مهلت تعیین شده قبلی تمرین خود را تحویل دهند، شامل نمره تشویقی می شوند.

برای همین تاریخ هم برای تحویل شفاهی آمادگی داشته باشید

  1395-10-11 December 31, 2016 07:57 PM  
Dear Student

3 days later, is the deadline for delivery of the last practice!(Exercise3).

  1395-09-29 December 19, 2016 07:20 AM  
Dear Student
New version of Welcome 951 File has been Uploaded in Resources. Please pay attention.
Also,
Today is the deadline for delivery of the second practice(Exercise2).

  1395-10-11 December 31, 2016 07:51 PM  
تمرین1                    تمرین2               تمرین3
95/10/14         95/9/29                 95/9/6

  1395-09-15 December 05, 2016 12:55 PM  
Dear Students, Hi.
Some groups didn't send me the Exercise1 files yet. Hurry Up. Please Send Exercise1 ASAP.

It includes:
.tex file with standard Z
.pdf file

  1395-08-03 October 24, 2016 12:29 PM  
Dear Students, Hi. Please. Fill the Document Template.doc file in Resources and Send it to me Until 95.08.07

  1395-07-29 October 20, 2016 05:26 PM  
Please see the Group951

  1395-07-13 October 04, 2016 10:21 AM  
Dear Students, Hi. Please see the Welcome951.pdf in Resources.

  1395-06-31 September 21, 2016 09:09 PM  
Timetable is updated. Check the Resources

  1395-06-27 September 17, 2016 07:57 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: 103

 This website is visited 944 times since September 2016. Updated Wednesday 2017-02-08 15:23