СИСТЕМА АЛГЕБРАИЧЕСКОГО ПРОГРАММИРОВАНИЯ

НАЗНАЧЕНИЕ:

Для разработки приложений с помощью языка алгебраического программирования APLAN.

ТЕХНИЧЕСКИЕ ХАРАКТЕРИСТИКИ:

Совместимость со средами Linux и Windows, наличие on-line режима.

РЕКОМЕНДУЕМАЯ ОБЛАСТЬ ПРИМЕНЕНИЯ:

Организации, которые создают системы верификации, тестирования, анализа, трансформации программ.

ПРЕИМУЩЕСТВА:

Не имеет аналогов в Украине. Есть быстрой в мире системой переписывания термов по сравнению с другими мировыми аналогами. Система имеет интерфейсы со всеми основными известными системами автоматического доказательства теорем или системами алгебраического программирования, предназначенными для решения отдельных задач.

 

ЕСЛИ ВАС ЗАИНТЕРЕСОВАЛА ДАННАЯ РАЗРАБОТКА, ПОЖАЛУЙСТА,

НАПИШИТЕ НАМ

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *