Your search criteria narrowed your results to Computer Science. Below is some additional contact information which may be useful.
Computer Science
College of Liberal Arts and Sciences
| Chair | Alberto M. Segre |
|---|---|
| Location | 14 MLH (MacLean Hall) |
| Phone | 319-335-0713 |
| CS-INFO@list.uiowa.edu | |
| Website | https://cs.uiowa.edu/ |
| General Catalog | http://catalog.registrar.uiowa.edu/liberal-arts-sciences/computer-science/ |
2 courses found, displaying all courses.
| Course # | Title | Hours | Notes | Enrollments |
|---|---|---|---|---|
| CS:5810:0001 |
Course Title is
Formal Methods in Software Engineering
Prerequisites:
ECE:3330 or CS:2820
Instructors:
Cesare Tinelli
(Primary Instructor),
Baoluo Meng
(Teaching Assistant)
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
|
| CS: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.