《代数语义学》PPT课件

- 代数语义学 - - 理论基础 - 函数式描述方法 - 程序设计语言形式语义 - 指称