Новосибирский государственный университет Факультет информационных технологий

А.М.Федотов

(49,15)(49,15)

Телеграф.

Метод Флойда: математическая модель программы и требований, задача верификации.

Федотов Анатолий Михайлович © 1996-2024, Новосибирский государственный университет © 1996-2024, Институт вычислительных технологий СО РАН © 1996-2024, Федотов А.М.