Найти
Информатика, телекоммуникации и управление
Информатика, телекоммуникации и управление
Cанкт-Петербургский политехнический университет Петра Великого
Издается с 2008
ISSN 2687-0517
Русский
Английский
Версия для слабовидящих
Об издании
Редакционная коллегия
Архив выпусков
Авторам
Меню
Содержание и структура статьи
Оформление статьи
Подача и рассмотрение статьи
Рецензирование
Список литературы
Аннотация к статье
Лицензионное соглашение
Этика научных публикаций
Новости
Вопрос-ответ
Контакты
Подать статью
График выхода изданий
№3 Сентябрь 2024
№4 Декабрь 2024
Статьи по ключевому слову "логика Хоара"
Аксиоматический метод верификации на основе декомпозиции состояний в методе RGSEP
Математическое моделирование: методы, алгоритмы, технологии
Прокопенко А.С.
Тормасов А.Г.
Год: 2010
Выпуск: 6
0
5393
Страницы: 127-135
Статический анализ требований реактивных систем
Конференция «Технологии Microsoft в теории и практике программирования»
Иванов А.С.
Котляров В.П.
Летичевский А.А.
Год: 2012
Выпуск: 4
0
5487
Страницы: 109-114