| |||
| статическая и динамическая верификация (корпорации AdaCore Alex_Odeychuk); статическая и динамическая верификация программного обеспечения (корпорации AdaCore Alex_Odeychuk) | |||
|
static and dynamic verification : 1 短语, 1 学科 |
| 软件 | 1 |
| |||
| статическая и динамическая верификация (корпорации AdaCore Alex_Odeychuk); статическая и динамическая верификация программного обеспечения (корпорации AdaCore Alex_Odeychuk) | |||
|
static and dynamic verification : 1 短语, 1 学科 |
| 软件 | 1 |