Catalog Search
> Computer Related
> 91.538
Note: This course is not available for the current semester.
Course No: 91.538; Last Offered: No Data;
Course Description
Consistent and complementary definitions of programming languages. Axiomatic, operational, denotational, translational, and other semantic approaches. Formal program specification. Verification using the techniques of Floyd and Hoare.
Prerequisites & Notes
- Prerequisites:
- Special Notes:
- Credits: 3;
Questions About This Course?
Contact the Advising Center at 978-934-2474 or
Continuing_Education@uml.edu
Use the Back button in your browser to go back to search results.