Verification of Reactive Systems 40-665 
  CE Department- Sharif University of Technology Spring - Group 1 

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1397-04-09 June 30, 2018 06:54 PM  
Dear Students,

The final project is uploaded.

Regards.

  1397-03-28 June 18, 2018 11:49 AM  
Dear students,

You can hand in your second assignment by Tir, 10.

  1397-03-20 June 10, 2018 05:33 PM  
Dear Students,

The second assignment is uploaded.

Regards.

  1397-02-03 April 23, 2018 07:16 AM  
Dear students,

The first assignment is updated.

Regards.

  1397-02-02 April 22, 2018 04:28 PM  
Dear students,

A class on the SPIN toolkit will be held on Tuesday at 12:00 in 007.

Regards.

  1397-01-24 April 13, 2018 04:37 PM  
Dear students,

The first assignment is uploaded in the Assignments part in the Main Menu. You can submit your answers by Ordibehesht, 14.

Regards,
Bagheri.

  1396-12-02 February 21, 2018 03:38 PM  
دانشجویانی که تمایل دارند فایلهای درس را دریافت کنند، یک ایمیل به من بفرستند تا این فایلها را برایشان ارسال کنم.
لطفا به سایر دانشجویان نیز اطلاع دهید
salmani.bahar@gmail.com

Instructor:
Ali Movaghar
(movaghar@sharif.edu)

3 Units
Sundays & Tuesdays 13:30 - 15:00
Room: 402

 This website is visited 2875 times since January 2018. Updated Saturday 2018-06-30 18:54