FORMAL METHODS IN SYSTEM DESIGN
- 刊名
- FORMAL METHODS IN SYSTEM DESIGN
- ISSN
- 0925-9856
- EISSN
- 1572-8102
- 出版机构
- SPRINGER
- 语种
- English
- 年份
- 2026
- IF 2024
- 0.8
ACADEMIC JOURNALFORMAL METHODS IN SYSTEM DESIGNYANZHI JOURNAL DIRECTORY
大类学科
| 英文名 | 中文名 | 新锐分区 | JCR 分区 |
|---|---|---|---|
| Computer Science | 计算机科学 | 4 区 | Q4 |
小类学科
| 英文名 | 中文名 | 新锐分区 | JCR 分区 |
|---|---|---|---|
| COMPUTER SCIENCE, THEORY & METHODS | 计算机：理论方法 | 3 区 | Q4 |