Об одном подходе к проектированию алгебраических типов данных

von Песчаненко, В.С.
Veröffentlicht 2006

Моделирование графического редактора системы Insertion Modeling System средствами Graphical Modeling Framework Eclipse

von Песчаненко, В.С.
Veröffentlicht 2011

Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием...

von Львов, М.С., Песчаненко, В.С.
Veröffentlicht 2012

Система доказательного программирования

von Летичевский, А.А. (мл.), Мороховец, М.К., Песчаненко, В.С.
Veröffentlicht 2012

Алгоритм трансляции APLAN-кода

von Летичевский, А.А., Летичевский, А.А. (мл.), Песчаненко, В.С.
Veröffentlicht 2010

Обзор современных систем и методов верификации формальных моделей

von Колчин, А.В., Летичевский, А.А., Потиенко, С.В., Песчаненко, В.С.
Veröffentlicht 2012

Генерация символьных трасс в системе инсерционного моделирования

von Летичевский, А.А., Летичевский, А.Ал., Песчаненко, В.С., Губа, А.А.
Veröffentlicht 2015

Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах...

von Летичевський, О.О., Песчаненко, В.С., Харченко, В.С., Волков, В.А., Одарущенко, О.М.
Veröffentlicht 2020

Огляд сучасних методів захищеності та безпеки програмних систем

von Летичевський, О.О., Песчаненко, В.С., Гринюк, Я.В., Радченко, В.Ю., Яковлев, В.М.
Veröffentlicht 2019

Програмування в обмеженнях у системі інсерційного моделювання

von Летичевський, О.А., Летичевський, О.О., Песчаненко, В.С., Блинов, І.О., Кльонов, Д.М.
Veröffentlicht 2011

Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул

von Львов, М.С., Песчаненко, В.С., Летичевский, А.А., Тарасич, Ю.Г., Баев, А.С.
Veröffentlicht 2018

Свойства предикатного трансформера системы VRS

von Летичевский, А.А., Годлевский, А.Б., Летичевский, А.А. (мл.), Потиенко, С.В., Песчаненко, В.С.
Veröffentlicht 2010