CS 386

From CS Wiki
Jump to: navigation, search

Derivational Programming

Note: This class is inactive.

Catalog Description: Introduction of a practical approach based on methodically developing programs from their specifications; focus on developing reliable programs with attent to real issues.

Total Credits: 3

Course Coordinator: James Alves-Foss

URL: None

Prereq: CS 210