Поиск по ключевому слову "формализация"

---

Формализация оптимизирующих преобразований алгоритмов на графах и множествах

Опубликовано: 19.11.2013

Авторы: Овчинников В.А., Иванова Г.С.

Опубликовано в выпуске: #11(23)/2013

DOI: 10.18698/2308-6033-2013-11-1056

Раздел: Информационные технологии

Программный комплекс верификации алгоритмов программного обеспечения с помощью иерархических сетей Петри

Опубликовано: 01.04.2013

Авторы: Рудаков И.В., Пащенкова А.В.

Опубликовано в выпуске: #2(14)/2013

DOI: 10.18698/2308-6033-2013-2-538

Раздел: Информационные технологии

1