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

А.М.Федотов

(8,19)(8,19)

Место IDE в современном процессе разработки ПО.

Проверка на модели. Модальные логики спецификаций. Основная проблема проверки на модели.

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