Skip to main content

Your search criteria narrowed your results to Electrical and Computer Engineering. Below is some additional contact information which may be useful.

 

All inquiries concerning College of Engineering course prerequisites should be directed to Megan Allen, 3124 SC.

2 courses found, displaying all courses.
Course # Title Hours Notes Enrollments
ECE:5810:0001 Course Title is
Formal Methods in Software Engineering
Prerequisites: ECE:3330 or CS:2820
Start and end times: 12:30P - 1:45P TTh 118 MLH
Instructors: Cesare Tinelli (Primary Instructor), Baoluo Meng (Teaching Assistant)
Final Exam
Start and end times: Tue Dec 12 17:30:00 CST 2017 - Tue Dec 12 19:30:00 CST 2017 Tue Dec 12 17:30:00 CST 2017
118 MLH
3 s.h.
Underway
27 of 36 enrolled
ECE:5810:0EXW Course Title is
Formal Methods in Software Engineering
Prerequisites: ECE:3330 or CS:2820
Arranged Time World Wide Web
Instructors: Cesare Tinelli (Primary Instructor), Baoluo Meng (Teaching Assistant)
3 s.h.
Restricted for all students.
Delivery Mode: Web
Registration Information:
This online section of the course is intended for Grinnell College students in the joint UI/Grinnell Master's Program.
more
DCE Distance Course (EX*)
Underway
3 of 10 enrolled
2 courses found, displaying all courses.