语系:
簡体中文
English
繁體中文
说明
圖書館個人資料蒐集告知聲明
登入
跳至 :
[NT 60487] Overview
书目信息
主题
Formal methods (Computer science)
[NT 60487] Overview
作品:
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
处理中
...
变更密码
登入