| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
| 标题: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
检索词:
Formal methods (Computer science)
,
检索到: 66 条结果,
检索时间: 0.03 秒
,
排序选项:
排序方式:
隐藏分类导航
- 余区图书保存本库 (59)
- 余区外文图书借阅区 (4)
- 南湖外文图书借阅区 (2)
- 西院西文图书保存本库 (2)
馆藏地点
- formal methods (computer science) (64)
- computer software (17)
- software engineering (10)
- system design (9)
- computer network protocols (7)
- electronic data processing (7)
- computer simulation (6)
- computer systems (6)
- object-oriented programming (computer science) (6)
- temporal automata (6)
- component software (5)
- automata (3)
- computer security (3)
- integrated circuits (3)
- digital integrated circuits (2)
- mobile computing (2)
- stochastic models (2)
- trust (2)
- web services (2)
- b method (computer science) (1)
主题
| 1. |
|
|
|
| 2. |
|
|
|
| 3. |
|
|
|
| 4. |
|
|
|
| 5. |
|
|
|
| 6. |
|
|
|
| 7. |
|
|
|
| 8. |
|
|
|
| 9. |
|
|
|
| 10. |
|
|
