Section Search Results
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-registration@uiowa.edu | |
| Registration Email | cs-registration@uiowa.edu |
| Website | https://cs.uiowa.edu/ |
| General Catalog | https://catalog.registrar.uiowa.edu/liberal-arts-sciences/computer-science/ |
One course found.
| Course # | Title | Hours | Notes | Enrollments |
|---|---|---|---|---|
| CS:5810:0EXW |
Course Title is
Formal Methods in Software Engineering
Prerequisites:
ECE:3330 or CS:2820
Start and end times:
11:00A - 12:15P
TTh
Online
Instructors:
Cesare Tinelli
(Primary Instructor)
|
3 s.h.
|
Restricted for all students.
Registration Information:
This online section of the course is intended for Grinnell College students in the joint UI/Grinnell Master's Program. University of Iowa students must enroll in section 0001.
more
DOE Distance Course (EX*)
|
Open
3
of 5 enrolled
|
One course found.