語系:
繁體中文
English
簡体中文
說明(常見問題)
圖書館個人資料蒐集告知聲明
登入
跳至 :
概要
書目資訊
主題
Logic, Symbolic and mathematical.
概要
作品:
5 作品在 5 項出版品 5 種語言
書目資訊
The deductive foundations of computer programming
by:
(書目-語言資料,印刷品)
Logical forms : an introduction to philosophical logic
by:
(書目-語言資料,印刷品)
Mathematical logic for computer science
by:
(書目-語言資料,印刷品)
Logic, sets, and recursion
by:
(書目-語言資料,印刷品)
Specifying systems : the TLA+ language and tools for hardware
by:
(書目-語言資料,印刷品)
主題
Logic, Symbolic and mathematical.
Electronic digital computers
QA9
Computer systems
160
519.7
004.2
511.3
System design.
處理中
...
變更密碼
登入