兰州理工大学图书馆

书目详细信息： FORMAL DEVELOPMENT OF PROGRAMS AND PROOFS

ISBN：	0-201-17237-2
语种代码：	eng
题名：	Formal Development of Programs and Proofs
出版发行项：	Reading Addison-Wesley Publishing Company 1990
载体形态：	341p 24cm

总体评分：（共0人）

我的评分：

收藏加入课程