1
MODEL СHECKING. Верификация параллельных и распределенных программных систем

MODEL СHECKING. Верификация параллельных и распределенных программных систем

సంవత్సరం:
2010
భాష:
russian
ఫైల్:
PDF, 22.89 MB
0 / 0
russian, 2010