返回检索首页
正在加载图片，请稍后......

面向对象软件的形式验证技术/作者文志诚

  • 附件:
  • 设置1:
  • 设置2:
  • 设置3:
  • 设置4:本书主要内容包括: 前言、形式规格说明语言Object-Z、产生证明责任验证Object-Z规格说明、Object-Z的多态性推理、基于Object-Z的实时验证方法等。
    • 附注提要
    本书主要内容包括: 前言、形式规格说明语言Object-Z、产生证明责任验证Object-Z规格说明、Object-Z的多态性推理、基于Object-Z的实时验证方法等。
    目录
    暂无目录
    (0)|| (0)

    手机二维条形码

    馆藏信息
    序号 索书号 码号定位 订户 馆藏地点 馆藏状态 借出日期 还回日期 流通类型 预约处理 卷册说明 登录号
    1 G643.8/5:3.131 S0184504 SYXY 教师阅览室 入藏 中文图书 预借 131 0
    相关链接：