屈延文，现任中国信息安全产业商会机构常务副理事长，中国信息安全测评中心顾问和北京大学、武汉大学、华中科技大学等兼职教授，是信息化与安全总体咨询机构QNS工作室的主要成员之一。是中国CAD事业、软件工程与计算机科学和信息化科学的开拓者与主要的推动者之一，是我国计算机程序设计语言、操作系统和软件工程专家和中国著名计算机科学学者，参与并主持国家信息化多项重大工程建设工作。目前，他是信息化与安全的总体设计师，是中国信息安全产业标准化联盟总体组组长，主持可信网络世界体系结构框架（TCAF）标准体系的研究、制定和推动工作。同时，长期为国家培养了数量众多的计算机科学和信息化科学的高水平的科学与技术人才。软件行为学、网络世界行为学科（形式行为学）的开创者。曾著有《形式语义学基础与形式说明》、《实用类型程序设计》、《软件行为学》、《信息化行为学理论基础与形式化方法》，主笔《银行行为监管》和《银行行为控制》等著作。 第一版是20世纪80年代国家教委计算机软件专业教材编委会推荐教材之一。《形式语义学基础与形式说明（第2版）》详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。全书共分十章。介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。例如curry的组合逻辑，Martin-Lof的直觉主义数学的讨论都是近代计算机理论较重要的基础内容。《形式语义学基础与形式说明（第2版）》内容丰富，重点突出，并配有大量习题，可作为高等院校电子信息、计算机科学专业本科高年级学生、研究生的教材，也可供信息技术人员和计算机软件设计、工程人员参考。
形式语义学基础与形式说明（第二版）pdf
更多编程视频和电子书关注公众号
