語系:
繁體中文
English
說明(常見問題)
登入
語系
英文
(2)
跳至 :
概要
|
書目資訊
|
主題
Manna, Zohar
概要
作品:
1 作品在 2 項出版品 1 種語言
書目資訊
The temporal logic of reactive and concurrent systems
by: Manna, Zohar; Pnueli, A
(書目-語言資料,印刷品)
The logical basis for computer programming
by: Manna, Zohar; Waldinger, Richard
(書目-語言資料,印刷品)
主題
QA76.6
Electronic digital computers
Logic, Symbolic and mathematical
005.1
519.7
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入