Seminary

Nauchno-issledovatel'skii seminar VMK MGU po avtomatizacii programmirovaniya
15.11.2001

D.V.Car'kov (VMK MGU). Verifikaciya raspredelennyh programm metodov proverki na modeli.

Postupilo: 13 yanvarya 2003 4:49
Poslednee izmenenie: 13 yanvarya 2003 4:49