文献类型

1. 图书（纸本） (2)
2. 显示更多..

主题

1. computer software (1)
2. formal methods (computer science) (1)
3. sap (1)
4. system design (1)
5. 企业管理 (1)
6. 供销管理 (1)
7. 应用软件 (1)
8. 显示更多..

著者

1. (瑞士) 格哈特·克诺尔迈尔, (德) 彼得·默滕斯, 亚历山大·泽埃尔著 (1)
2. eriksson, l.-h (1)
3. international symposium of formal methods europe (1)
4. lindsay, peter alexander, (1)
5. 克诺尔迈尔, (1)
6. 泽埃尔, (1)
7. 王天扬 (1)
8. 王天扬 ... [等] 译 (1)
9. 默滕斯, (1)
10. 显示更多..

出版日期

1. 2004 (1)
2. 显示更多..

馆藏地点

1. 南湖保存本图书借阅区 (1)
2. 余区图书保存本库 (1)
3. 西院中文图书借阅区 (1)
4. 管理学院资料室(（南湖) (1)
5. 物流工程系资料室(余区) (1)
6. 显示更多..

图书馆

1. 武汉理工大学图书馆 (2)
2. 管理学院 (1)
3. 物流工程学院 (1)
4. 显示更多..

语言种类

1. 汉语 (1)
2. 显示更多..

在馆

1. 在馆 (2)
2. 显示更多..

分面检索

资源类型

1. 纸质资源 不在馆 (2)
2. 显示更多..