71 - 72 из 72Размер страницы: 10
Сортировать по:: Заголовок

  1. Соревнования по формальной верификации VeHa-2023: опыт проведения

    Старолетов, С. М., Кондратьев, Д. А., Гаранина, Н. О. & Шошмина, И. В., 2024, в: Труды Института системного программирования РАН. 36, 2, стр. 141-168 28 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  2. Функциональное программирование

    Городняя, Л. В. & Андреева, Т. А., 2024, Новосибирск: ИПЦ НГУ. 352 стр.

    Результаты исследований: Книги, отчёты, сборники › учебное пособие › Рецензирование

Назад 1...4 5 6 7 8 Далее

ID: 3089109