我的图书馆

要求 添加至我的列表 添加至书袋 MARC显示 返回浏览索引
     
可用条款限制搜索
前一记录 下一记录
资源
更多信息
* Search MOBIUS *
PRINTED MAT
作者 Windeknecht, Thomas G.

题名 Logical derivation of computer programs / Thomas G. Windeknecht.

出版资料 Exeter, England : Intellect, c1999.

复本

馆藏地 索书号 处理状态
 IU 2nd Floor  QA76.6 .W553 1999    AVAILABLE
载体形态 ii, 208 p ; 24 cm.
Bibliography Includes bibliographical references (p. 179-180) and index.
主题 Computer programming -- Mathematics.
国际标准书号 1871516986
永久链接