Электронная библиотека (репозиторий) Томского государственного университета
Жуковская, Александра Олеговна | Стефанцов, Дмитрий Александрович

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Операционная семантика ЛЯПАСа
Authors: Жуковская, Александра Олеговна | Стефанцов, Дмитрий Александрович
Source: Прикладная дискретная математика. Приложение. 2015. № 8. С. 131-132
Type: статьи в журналах
Date: 2015
Add   Разработка автоматизированного средства для доказательства свойств программ
Authors: Жуковская, Александра Олеговна | Стефанцов, Дмитрий Александрович
Source: Прикладная дискретная математика. Приложение. 2014. № 7. С. 148-150
Type: статьи в журналах
Date: 2014
  • «
  • ←
  • 1
  • →
  • »
^