FORMAL METHODS IN SYSTEM DESIGN
- 刊名
- FORMAL METHODS IN SYSTEM DESIGN
- ISSN
- 0925-9856
- EISSN
- -
- 出版机构
- -
- 语种
- -
- 年份
- 2021
大类学科
| 英文名 | 中文名 | 新锐分区 | Top |
|---|---|---|---|
| Computer Science | 计算机科学 | 3 区 | β |
小类学科
| 英文名 | 中文名 | 新锐分区 |
|---|---|---|
| COMPUTER SCIENCE, THEORY & METHODS | 计算机：理论方法 | 3 区 |
| 英文名 | 中文名 | 新锐分区 | Top |
|---|---|---|---|
| Computer Science | 计算机科学 | 3 区 | β |
| 英文名 | 中文名 | 新锐分区 |
|---|---|---|
| COMPUTER SCIENCE, THEORY & METHODS | 计算机：理论方法 | 3 区 |