CS 477
Formal Software Devel Methods

Credit:  3 or 4 hours.


Mathematical models, languages, and methods for software specification, development, and verification. Same as ECE 478. 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: CS 225 or CS 400; CS 373 or MATH 414.