語系:
繁體中文
English
簡体中文
說明(常見問題)
圖書館個人資料蒐集告知聲明
登入
跳至 :
概要
書目資訊
主題
Formal methods (Computer science)
概要
作品:
3 作品在 3 項出版品 3 種語言
書目資訊
Formal methods for industrial critical systems : a survey of applications
by:
(書目-語言資料,印刷品)
Industrial Use of Formal Methods : formal verification
by:
(書目-語言資料,印刷品)
Principles of cyber-physical systems
by:
(書目-語言資料,印刷品)
主題
QA76.9.F67
Systems engineering
Automatic control
Computer software
Formal methods (Computer science)
System design
Computer simulation
Nondestructive testing
006.2/2
TA168
005.101
Internet of things
004.01/51
Embedded internet devices
TJ213
處理中
...
變更密碼
登入