НАО «ЮРИНФОР»

Подписаться на новости Все новости

Семинар «Генератор ламбда-термов для системы тестирования на основе свойств»

состоялся 01 ноября (18.00) 2021 г.

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ и МФТИ. Семинар прошел он-лайн.

Дата:
2021-11-01