| 名称 | The logical basis for computer programming |
| 索引号 | TP31/E9930/1 |
| 分类号 | TP31/E9930 TP31(计算机软件) TP3(计算技术、计算机技术) TP(自动化技术计算技术技术) T(工业技术) |
| 作者 | Manna、 Zohar.、Waldinger、 Richard.、 |
| 出版社 | Reading, Mass. : Addison-Wesley, 1985 |
| ISBN | |
| 页数 | 2 v. : ill. ; 25 cm. |
| 价格 | |
| 标签 | |
| 简介 | |
| 注解 | |


粤公网安备 44030602003680号