—————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
—————————————————
Заседание N 864
29 марта 2016
Комната 254 ИСИ СО РАН
Время: 14.30
—————————————————
Н.В. Шилов
«О проблеме спецификации и верификации
стандартных математических функций
в языках программирования»
—————————————————