安徽理工大学图书馆书目检索系统

| 暂存书架(0) | 登录



MARC状态：审校 文献类型：中文图书 浏览次数：4

题名/责任者:
软件安全性需求:形式化建模和验证/李震著
出版发行项:
镇江:江苏大学出版社,2019
ISBN及定价:
978-7-5684-0112-8/CNY42.00
载体形态项:
187页:图;22cm
并列正题名:
Formal modeling and verification of software safety requirements
其它题名:
形式化建模和验证
个人责任者:
李震 著
学科主题:
软件可靠性
中图法分类号:
TP311.5
书目附注:
有书目 (第163-179页)
提要文摘附注:
本书分八章, 内容包括: 基本概念和方法 ; 软件安全性需求过程 ; 软件安全性需求形式化建模 ; 软件安全性需求形式化验证 ; 工具原型设计 ; 实验和实例 ; 结论与展望。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
TP311.5/L976 004159625   计算机科学书库     可借 计算机科学书库
TP311.5/L976 004159626   计算机科学书库     可借 计算机科学书库
TP311.5/L976 004159627   计算机科学书库     可借 计算机科学书库
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名：
密码：
验证码：
请输入下面显示的内容
  证件号 条码号 Email
 
姓名：
手机号：
送 书 地：
收藏到： 管理书架