图书馆

登录

书目详细信息： Proving programs correct

书目信息  机读格式(MARC)

《Proving programs correct》

ISBN/价格：	RMB1.1
题名责任者项：	Proving programs correct/.Anderson R B
出版发行项：	1979
记录来源：	CN 20070721

总体评分：（共0人）

我的评分：

收藏加入课程

相关资源

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

借阅关系图

相关资源

二维码

《Proving programs correct》二维码