Seminary

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

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

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