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

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

Семинар «Использование автоматов Бучи (Buchi) для описания семантики линейной временной логики»

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

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

Дата:
2021-09-06