当前位置：首页 > 名称
大约有200项符合查询结果项。（搜索耗时：0.0078秒）
为您推荐： 新詩形式設計的美學基礎 実用土質 基礎構造物の設計と例解 用設計玩首爾 設計概念為本的數學課程 教出深入理解的中學課堂 形式的起源 微分形式导论
-
-
-
形式语义学基础与形式说明
屈延文编著2010 年出版496 页ISBN：9787030262387本书较详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。全书共分十章，介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介...
-
-
-
-
-
-
-
学科分类