Seyed-Hassan Mirian-Hosseinabadi | Computer Engineering Department | Sharif University of Technology | سید حسن میریان حسین آبادی
 Courses


40-314 : Information Storage and Retrieval, BSc.
40-384 : Database 1, BSc.
40-404 : Software Engineering Lab, BSc.
40-474 : Software Engineering, BSc.
40-684 : Program Development from Formal Specifications, MSc.
40-745 : Formal Specification and Verification of Programms, MSc.
40-828 : Software Testing, MSc.
40-924 : Advanced Software Engineering, MSc.

96-97-Fall: 40-828-1, Software Testing, MSc, SUT.
96-97-Fall: 40-745-1, Formal Specification and Verification of Programms, MSc, SUT.
96-97-Fall: 40-404-1, Software Engineering Lab, BSc, SUT.
96-97-Fall: 40-924-1, Advanced Software Engineering, MSc, KH.
95-96-Spring: 40-404-1, Software Engineering Lab, BSc, SUT.
95-96-Spring: 40-404-2, Software Engineering Lab, BSc, SUT.
95-96-Spring: 40-684-1, Program Development from Formal Specifications, MSc, SUT.
95-96-Spring: 40-474-1, Software Engineering, BSc, SUT.
95-96-Spring: 40-828-1, Software Testing, MSc, KH.

95-96-Fall: 40-828-1, Software Testing, MSc, SUT.
95-96-Fall: 40-745-1, Formal Specification and Verification of Programms, MSc, SUT.
95-96-Fall: 40-404-1, Software Engineering Lab, BSc, SUT.
95-96-Fall: 40-924-1, Advanced Software Engineering, MSc, KH.
94-95-Summer: 40-404-1, Software Engineering Lab, BSc, SUT.
94-95-Summer: 40-404-1, Software Engineering Lab, BSc, SUT.
94-95-Spring: 40-404-1, Software Engineering Lab, BSc, SUT.
94-95-Spring: 40-404-2, Software Engineering Lab, BSc, SUT.
94-95-Spring: 40-684-1, Program Development from Formal Specifications, MSc, SUT.
94-95-Spring: 40-474-1, Software Engineering, BSc, SUT.
94-95-Fall: 40-828-1, Software Testing, MSc, SUT.
94-95-Fall: 40-745-1, Formal Specification and Verification of Programms, MSc, SUT.
94-95-Fall: 40-404-1, Software Engineering Lab, BSc, SUT.
94-95-Fall: 40-924-1, Advanced Software Engineering, MSc, KH.
93-94-Summer: 40-404-1, Software Engineering Lab, BSc, SUT.
93-94-Summer: 40-404-1, Software Engineering Lab, BSc, SUT.
93-94-Spring: 40-404-1, Software Engineering Lab, BSc, SUT.
93-94-Spring: 40-404-2, Software Engineering Lab, BSc, SUT.
93-94-Spring: 40-404-3, Software Engineering Lab, BSc, SUT.
93-94-Spring: 40-684-1, Program Development from Formal Specifications, MSc, SUT.
93-94-Spring: 40-474-1, Software Engineering, BSc, SUT.
93-94-Spring: kh-828-1, Software Testing, MSc, KH.
93-94-Fall: 40-828, Software Testing, MSc, SUT.
93-94-Fall: 40-745, Formal Specification and Verification of Programms, MSc, SUT.
93-94-Fall: 40-404, Software Engineering Lab, BSc, SUT.
93-94-Fall: kh-924, Advanced Software Engineering , MSc, KH.
92-93-Summer: 40-404, Software Engineering Lab, BSc, SUT.
92-93-Spring: 40-404, Software Engineering Lab, BSc, SUT.
92-93-Spring: 40-404, Software Engineering Lab, BSc, SUT.
92-93-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
92-93-Spring: 40-474, Software Engineering, BSc, SUT.
92-93-Fall: 40-474, Software Engineering, BSc, SUT.
92-93-Fall: 40-745, Formal Specification and Verification of Programms, MSc, SUT.
92-93-Fall: 40-404, Software Engineering Lab, BSc, SUT.
91-92-Summer: 40-404, Software Engineering Lab, BSc, SUT.
91-92-Spring: 40-404, Software Engineering Lab, BSc, SUT.
91-92-Spring: 40-404, Software Engineering Lab, BSc, SUT.
91-92-Spring: 40-404, Software Engineering Lab, BSc, SUT.
91-92-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
91-92-Spring: 40-474, Software Engineering, BSc, SUT.
91-92-Fall: 40-474, Software Engineering, BSc, SUT.
91-92-Fall: 40-745, Formal Specification and Verification of Programms, MSc, SUT.
91-92-Fall: 40-828, Software Testing, MSc, SUT.
91-92-Fall: 40-404, Software Engineering Lab, BSc, SUT.
90-91-Summer: 40-404, Software Engineering Lab, BSc, SUT.
90-91-Spring: 40-404, Software Engineering Lab, BSc, SUT.
90-91-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
90-91-Spring: 40-474, Software Engineering, BSc, SUT.
90-91-Fall: 40-474, Software Engineering, BSc, SUT.
90-91-Fall: 40-745, Formal Specification and Verification of Programms, MSc, SUT.
90-91-Fall: 40-828, Software Testing, MSc, SUT.
89-90-Summer: 40-404, Software Engineering Lab, BSc, SUT.
89-90-Spring: 40-404, Software Engineering Lab, BSc, SUT.
89-90-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
89-90-Spring: 40-924, Advanced Software Engineering, MSc, SUT.
89-90-Fall: 40-474, Software Engineering, BSc, SUT.
89-90-Fall: 40-745, Formal Specification and Verification of Programms, MSc, SUT.
89-90-Fall: 40-828, Software Testing, MSc, SUT.
88-89-Summer: 40-404, Software Engineering Lab, BSc, SUT.
88-89-Spring: 40-474, Software Engineering, BSc, SUT.
88-89-Spring: 40-404, Software Engineering Lab, BSc, SUT.
88-89-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
88-89-Fall: 40-474, Software Engineering, BSc, SUT.
88-89-Fall: 40-404, Software Engineering Lab, BSc, SUT.
88-89-Fall: 40-828, Software Testing, MSc, SUT.
88-89-Fall: 40-828, Software Testing, MSc, SBU.
88-89-Fall: 40-828, Software Testing, MSc, IAU(S&R).
87-88-Summer: 40-404, Software Engineering Lab, BSc, SUT.
87-88-Spring: 40-474, Software Engineering, BSc, SUT.
87-88-Spring: 40-404, Software Engineering Lab, BSc, SUT.
87-88-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
87-88-Fall: 40-474, Software Engineering, BSc, SUT.
87-88-Fall: 40-404, Software Engineering Lab, BSc, SUT.
87-88-Fall: 40-745, Formal Specification and Verification of Programms, MSc, SBU.
87-88-Fall: 40-828, Software Testing, MSc, SUT.
86-87-Summer: 40-404, Software Engineering Lab, BSc, SUT.
86-87-Spring: 40-474, Software Engineering, BSc, SUT.
86-87-Spring: 40-404, Software Engineering Lab, BSc, SUT.
86-87-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
86-87-Fall: 40-384, Database 1, BSc, SUT(Kish).
86-87-Fall: 40-474, Software Engineering, BSc, SUT.
86-87-Fall: 40-404, Software Engineering Lab, BSc, SUT.
86-87-Fall: 40-924, Advanced Software Engineering, MSc, SUT.
86-87-Fall: 40-924, Advanced Software Engineering, MSc, (Kish).
86-87-Spring: 40-745, Formal Specification and Verification of Programms, BSc, SBU.
86-87-Fall: 40-474, Software Engineering, BSc, SUT(Kish).
85-86-Summer: 40-404, Software Engineering Lab, BSc, SUT.
85-86-Spring: 40-474, Software Engineering, BSc, SUT.
85-86-Spring: 40-404, Software Engineering Lab, BSc, SUT.
85-86-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
85-86-Fall: 40-384, Database 1, BSc, SUT(Kish).
85-86-Fall: 40-474, Software Engineering, BSc, SUT.
85-86-Fall: 40-404, Software Engineering Lab, BSc, SUT.
85-86-Fall: 40-924, Advanced Software Engineering, MSc, SUT(Kish).
85-86-Fall: 40-745, Formal Specification and Verification of Programms, MSc, SUT.
84-85-Summer: 40-404, Software Engineering Lab, BSc, SUT.
84-85-Spring: 40-474, Software Engineering, BSc, SUT.
84-85-Spring: 40-404, Software Engineering Lab, BSc, SUT.
84-85-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
84-85-Fall: 40-474, Software Engineering, BSc, SUT.
84-85-Fall: 40-404, Software Engineering Lab, BSc, SUT.
84-85-Fall: 40-924, Advanced Software Engineering, MSc, SUT.
83-84-Summer: 40-404, Software Engineering Lab, BSc, SUT.
83-84-Spring: 40-404, Software Engineering Lab, BSc, SUT.
83-84-Fall: 40-404, Software Engineering Lab, BSc, SUT.
83-84-Fall: 40-924, Advanced Software Engineering, MSc, SUT.
83-84-Fall: 40-924, Advanced Software Engineering, MSc, SUT.
83-84-Spring: 40-745, Formal Specification and Verification of Programms, BSc, SUT.
83-84-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
83-84-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
83-84-Fall: 40-745, Formal Specification and Verification of Programms, BSc, SUT.
82-83-Summer: 40-404, Software Engineering Lab, BSc, SUT.
82-83-Spring: 40-404, Software Engineering Lab, BSc, SUT.
82-83-Spring: 40-745, Formal Specification and Verification of Programms, BSc, SUT.
82-83-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
82-83-Spring: 40-924, Advanced Software Engineering, MSc, SUT.
82-83-Fall: 40-474, Software Engineering, BSc, SUT.
82-83-Fall: 40-404, Software Engineering Lab, BSc, SUT.
82-83-Fall: 40-924, Advanced Software Engineering, MSc, SUT.
81-82-Spring: 40-474, Software Engineering, BSc, SUT.
81-82-Spring: 40-745, Formal Specification and Verification of Programms, MSc, SUT.
81-82-Fall: 40-474, Software Engineering, BSc, SUT.
81-82-Fall: 40-684, Program Development from Formal Specifications, MSc, SUT.
81-82-Spring: 40-924, Advanced Software Engineering, MSc, SUT.
80-81-Spring: 40-474, Software Engineering, BSc, SUT.
80-81-Spring: 40-745, Formal Specification and Verification of Programms, MSc, SUT.
80-81-Fall: 40-474, Software Engineering, BSc, SUT.
80-81-Fall: 40-684, Program Development from Formal Specifications, MSc, SUT.
79-80-Spring: 40-314, Information Storage and Retrieval, BSc, SUT.
79-80-Spring: 40-384, Database 1, BSc, SUT.
79-80-Spring: 40-745, Formal Specification and Verification of Programms, MSc, SUT.
79-80-Fall: 40-474, Software Engineering, BSc, SUT.
79-80-Fall: 40-404, Software Engineering Lab, BSc, SUT.
79-80-Fall: 40-924, Advanced Software Engineering, MSc, SUT.
78-79-Spring: 40-384, Database 1, BSc, SUT.
78-79-Spring: 40-404, Software Engineering Lab, BSc, SUT.
78-79-Spring: 40-924, Advanced Software Engineering, MSc, SUT.
78-79-Fall: 40-474, Software Engineering, BSc, SUT.
78-79-Fall: 40-745, Formal Specification and Verification of Programms, MSc, SUT.
77-78-Spring: 40-384, Database 1, BSc, SUT.
77-78-Spring: 40-684, Program Development from Formal Specifications, MSc, SUT.
77-78-Fall: 40-314, Information Storage and Retrieval, BSc, SUT.
77-78-Fall: 40-745, Formal Specification and Verification of Programms, MSc, SUT.
76-77-Spring: 40-314, Information Storage and Retrieval, BSc, SUT.
76-77-Fall: 40-314, Information Storage and Retrieval, BSc, SUT.
76-77-Fall: 40-745, Formal Specification and Verification of Programms, MSc, SUT.
Seyed Hassan Mirian Hosseinabadi | سید حسن میریان حسین آبادی 
Seyed-Hassan Mirian-Hosseinabadi
Associate Professor,
Computer Engineering Department,
Sharif University of Technology
 
 
 

All Rights Reserved | Seyed-Hassan Mirian-Hosseinabadi | Sharif University of Technology