兰州理工大学图书馆

登录

书目详细信息： FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFI

书目信息  机读格式(MARC)

《FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFI》

语种代码：	eng
题名：	Formal methods of program verification and specification
出版发行项：	New Jersey Prentice-Hall 1982
载体形态：	207p 23cm

总体评分：（共0人）

我的评分：

收藏加入课程

相关资源

馆藏信息  附件信息  评论信息  相关借阅  借阅趋势  参考书目

借阅关系图

相关资源

二维码

《FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFI》二维码