语系:
簡体中文
English
繁體中文
说明
圖書館個人資料蒐集告知聲明
登入
语系
英文
(1)
跳至 :
[NT 60487] Overview
|
书目信息
|
主题
Waldinger, Richard
[NT 60487] Overview
作品:
1 作品在 1 项出版品 1 种语言
书目信息
The deductive foundations of computer programming
by: Manna, Zohar; Waldinger, Richard
(書目-語言資料)
主题
Logic, Symbolic and mathematical.
Electronic digital computers
519.7
处理中
...
变更密码
登入