分面检索

图书馆

1. 辽宁省图书馆 (3)
2. 显示更多..

馆藏地点

1. 保存 (3)
2. 新馆自科 (1)
3. 显示更多..

主题

1. 分析 (1)
2. 形式语义学 (1)
3. 教材 (1)
4. 检验 (1)
5. 程序 (1)
6. 程序语言 (1)
7. 程序验证 (1)
8. 规范 (1)
9. 香料 (1)
10. 高等学校 (1)
11. 显示更多..

著者

1. 宋国新 (3)
2. 宋国新等译 (2)
3. (美)伯格(berg,h.k.)等著 (1)
4. glynn (1)
5. glynn winskel著 (1)
6. h.k (1)
7. winskel (1)
8. 伯格 (1)
9. 孙永强 (1)
10. 宋国新[等]编著 (1)
11. 陆汝占 (1)
12. 显示更多..

出版日期

1. 1988 (1)
2. 2004 (1)
3. 2008 (1)
4. 显示更多..

文献类型

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

语言种类

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

在馆

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