Электронный каталог

Статья

Ivanov, I.
Proving Properties of Programs on Hierarchical Nominative Data / I.Ivanov, [et al.] // Computer Science Journal of Moldova. – 2016. – Vol.24, No.3. – p.371-398. – URL: http://www.math.md/files/csjm/v24-n3/v24-n3-(pp371-398).pdf. – Bibliogr.:18.



Спец.(статьи,препринты) = С 17 а - Численный анализ. Исчисление конечных разностей. Интерполирование