Science of Computer Programming (4) Weakest preconditions, nondeterminism, terminating constructs, formal derivation of some often used algorithms, correctness of programs, formal specification of large systems.
Science of Computer Programming (4)
General Education: None
Bachelor of Arts: None
Effective: Spring 2008
Prerequisite: CMPSC 461
Note : Class size, frequency of offering, and evaluation methods will vary by location and instructor. For these details check the specific course syllabus.