第一版是20世纪80年代国家教委计算机软件专业教材编委会推荐教材之一。《形式语义学基础与形式说明（第2版）》详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践… 形式语义学基础与形式说明（第二版）.pdf
第一版是20世纪80年代国家教委计算机软件专业教材编委会推荐教材之一。《形式语义学基础与形式说明（第2版）》详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践… 更多编程视频和电子书关注公众号
第一版是20世纪80年代国家教委计算机软件专业教材编委会推荐教材之一。《形式语义学基础与形式说明（第2版）》详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践…