| 名称 | Mathematical methods in program development | |
| 索引号 | TP311.52/E994 | |
| 分类号 | TP311.52 TP311.52(软件开发) TP311.5(软件工程) TP311(程序设计、软件工程) TP31(计算机软件) TP3(计算技术、计算机技术) TP(自动化技术计算技术技术) T(工业技术) |
|
| 作者 | ||
| 出版社 | Berlin ; New York : Springer, c1997. | |
| ISBN | ||
| 页数 | viii, 528 p. ; 34 cm. | |
| 价格 | ||
| 标签 | ||
| 简介 | ||
| 注解 | "Proceedings of the NATO Advances Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30-August 11, 1996"--T.p. verso. Includes bibliographical references. | |
 |
|
|
搜索选项：
|
© Copyright 大拱桥--暨南大学学生门户 • Atom Feed • 粤ICP备17135490号
Last Updated On 20150305 By Carbon Forum (联系我)
Processed in 13.351 ms, 6 queries, Memory usage: 2048 KBytes
粤公网安备 44030602003680号