已经限定的分面

图书馆:

1. 湖南大学图书馆 x

馆藏地点:

图书馆

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

馆藏地点

1. 显示更多..

主题

1. 显示更多..

著者

1. butler,michael,et al (1)
2. international conferences on integrated formal methods(3rd:2002:turku,finland) (1)
3. 显示更多..

出版日期

1. 显示更多..

文献类型

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

语言种类

1. 显示更多..