名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: Logics of programs , 检索到: 17 条结果, 检索时间: 0.037 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图


保存至书单:
1.
Logics of programs
出版社: Springer-Verlag   出版日期: 1984
文献类型: 图书 , 索书号: 73.87221/EC/164
2.
出版社: McGraw-Hill,   出版日期: 2001.
文献类型: 图书 , 索书号: 29.403/SL(4)
3.
出版社: Addison-wesley Publishing co.,   出版日期: 1990
文献类型: 图书 , 索书号: 73.8721/HG
4.
出版社: Kluwer Academic Publishers   出版日期: 1987
文献类型: 图书 , 索书号: 73.8702/CJS
5.
出版社: Springer-Verlag   出版日期: 1987
文献类型: 图书 , 索书号: 73.8702/LJW
6.
出版社: Springer-Verlag   出版日期: 1984
文献类型: 图书 , 索书号: 73.87221/FLP
7.
The logic of programming
出版社: Prentice-Hall International,Inc.,   出版日期: 1984
文献类型: 图书 , 索书号: 73.87221/HEC
8.
出版社: Springer-Verlag GmbH and Co. K   出版日期: 1984
文献类型: 图书 , 索书号: TP31/LJW
9.
出版社: The MIT Press   出版日期: 1991
文献类型: 图书 , 索书号: 73.87221/FK
10.
出版社: Springer-Verlag GmbH and Co. K   出版日期: 1984
文献类型: 图书 , 索书号: TP31-53/LP