Invalid size!GDI+ 中发生一般性错误。 书目详细信息
返回检索首页
正在加载图片，请稍后......

软件工程. 卷1. 抽象与建模/Dines Bjorner

  • 附件:
  • 设置1:
  • 设置2:Bjorner
  • 设置3:本书介绍了抽象与建模的基本原理和技术。首先, 给出了离散数学的基本介绍, 包括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑, 然后讲授基本的面向属性与面向模型的规约的基本原理和技术。
  • 摘要:有索引
    • 附注提要
    本书介绍了抽象与建模的基本原理和技术。首先, 给出了离散数学的基本介绍, 包括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑, 然后讲授基本的面向属性与面向模型的规约的基本原理和技术。
    目录
    暂无目录
    (0)|| (0)

    手机二维条形码

    馆藏信息
    索书号 条码号 登录号 馆藏地点 馆藏状态 借出日期 还回日期 流通类型 预约处理 卷册说明
    TP311.5-43/21/1 00156681 0 综合文献室 入藏 中文图书
    TP311.5-43/21/1 00144001 0 综合文献室 入藏 中文图书 卷1
    TP311.5-43/21/1 00143999 0 综合文献室 入藏 中文图书 卷1
    TP311.5-43/21/1 00144000 0 综合文献室 入藏 中文图书 卷1
    相关链接：