课程简介 学习的意义 掌握与程序设计语言有关的理论，为从事有关的 研究起一个奠基的作用 应用： 一程序设计语言的设计和实现 -程序的自动生成 程序分析与程序验证 -提高软件的可信程度 协议的形式描述和验证课 程 简 介 学习的意义 – 掌握与程序设计语言有关的理论，为从事有关的 研究起一个奠基的作用 应用： – 程序设计语言的设计和实现 – 程序的自动生成 – 程序分析与程序验证 – 提高软件的可信程度 – 协议的形式描述和验证