ТвИ
Technology and Language Санкт-Петербургский политехнический университет Петра Великого
Издается с 2020
ISSN 2712-9934
ru Русский
Версия для слабовидящих
Подать статью

Статьи по ключевому слову "Формальная верификация"

Программа и код

семиотика, технология и порядок вещей
Хенле Р.
  • Год: 2022
  • Том: 3
  • Выпуск: 2
  • 16
  • 551
  • Страницы: 70-80