已经限定的分面

图书馆:

1. 湖南大学图书馆 x

馆藏地点:

图书馆

1. 院系分馆
2. 湖南大学图书馆联合目录
3. [湖南大学图书馆]
4. 显示更多..

馆藏地点

1. 显示更多..

主题

1. 自动检测系统 (1)
2. 软件可靠性 (1)
3. 显示更多..

著者

1. peled,abraham (2)
2. 佩莱德 (2)
3. (以) doron a. peled著 (1)
4. (美) edmund m. clarke, orna grumberg, doron a. peled著 (1)
5. 何安平 (1)
6. 克拉克 (1)
7. 吴尽昭 (1)
8. 吴尽昭, 何安平, 高新岩译 (1)
9. 格伦贝格 (1)
10. 王林章 (1)
11. 王林章 ... [等] 译 (1)
12. 高新岩 (1)
13. 显示更多..

出版日期

1. 2012 (1)
2. 2018 (1)
3. 显示更多..

文献类型

1. 图书 (4)
2. 显示更多..

语言种类

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