| 暂存书架(0) | 登录

MARC状态:已编 文献类型:中文图书 浏览次数:64

题名/责任者:
Z形式规约切片的研究/吴方君著
出版发行项:
合肥:中国科学技术大学出版社,2006
ISBN及定价:
7-312-01354-6/CNY18.00
载体形态项:
185页:图;21cm
并列正题名:
Research on Z formal specifications slicing
丛编项:
江西财经大学博士论文文库
个人责任者:
吴方君
学科主题:
形式语言-算法语言
中图法分类号:
TP301.2
书目附注:
有书目 (第172-185页)
提要文摘附注:
本书充分利用已有的程序切片和依赖性分析技术,结合国内外在形式规约切片及其应用方面的最新研究动态,在Z形式规约切片及其应用方面展开研究工作。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 定位
TP301.2/6001 1485640   9楼南电信软件工程借阅室     可借 定位
TP301.2/6001 1485641   9楼南电信软件工程借阅室     可借 定位
TP301.2/6001 1485642   9楼南电信软件工程借阅室     可借 定位
TP301.2/6001 1485643   9楼南电信软件工程借阅室     可借 定位
TP301.2/6001 1485639   理科综合阅览室     保留本 定位
显示全部馆藏信息
借阅趋势

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