Note: This course is not available for the current semester.
Course No: 91.538; Last Offered: No Data;
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.
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.