![]() |
дедуктивная верификация | |
progr. | deductive verification |
программная система | |
econ. | programme system |
IT | software |
Makarov. | application system |
progr. | computer software system |
tech. | program system; software system |
программная система AVS | |
tech. | application visualization system |
программная система BONES | |
tech. | block oriented network simulator |
программные системы | |
comp. | software |
| |||
deductive verification (Alex_Odeychuk) |
дедуктивная верификация программных систем : 3 phrases in 1 subject |
Programming | 3 |