语系:
簡体中文
English
繁體中文
说明
圖書館個人資料蒐集告知聲明
登入
跳至 :
[NT 60487] Overview
书目信息
主题
Computer systems - Specifications.
[NT 60487] Overview
作品:
1 作品在 1 项出版品 1 种语言
书目信息
Specifying systems : the TLA+ language and tools for hardware
by:
(書目-語言資料)
主题
Logic, Symbolic and mathematical.
Computer systems
004.2
System design.
处理中
...
变更密码
登入