已经限定的分面

馆藏地点:

著者:

1. 吴尽昭，何安平，高新岩译 x
2. 格伦贝格 x
3. (美)edmund m. clarke, jr.，(美)orna grumberg，(美)doron a. peled著 x
4. 何安平 x

文献类型:

1. 成人图书 x

语言种类:

1. 汉语 x

图书馆

1. 中新友好图书馆 (1)
2. 显示更多..

馆藏地点

1. 4F 3区 (1)
2. 显示更多..

主题

1. 自动检测系统 (1)
2. 显示更多..

著者

1. [(美)edmund m. clarke, jr.，(美)orna grumberg，(美)doron a. peled著] (1)
2. [何安平] (1)
3. 佩莱德 (1)
4. 克拉克 (1)
5. 吴尽昭 (1)
6. [吴尽昭，何安平，高新岩译] (1)
7. [格伦贝格] (1)
8. 高新岩 (1)
9. 显示更多..

出版日期

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

文献类型

1. [成人图书] (1)
2. 显示更多..

语言种类

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