語系:
繁體中文
English
簡体中文
說明(常見問題)
圖書館個人資料蒐集告知聲明
登入
語系
中文
(1)
跳至 :
概要
|
書目資訊
|
主題
Boulanger, Jean-Louis
概要
作品:
0 作品在 1 項出版品 1 種語言
書目資訊
Industrial Use of Formal Methods : formal verification
by: Boulanger, Jean-Louis
(書目-語言資料,印刷品)
主題
Systems engineering
Computer software
Formal methods (Computer science)
Computer simulation
Nondestructive testing
TA168
005.101
處理中
...
變更密碼
登入