Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування, 2006 за автором "Приходько, П.П."

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2006 за автором "Приходько, П.П."

Сортувати за: Порядок: Результатів:

  • О термальном аспекте автоматизации программирования 
    Приходько, П.П. (2006)
    Уточняются основные положения немонотонного синтеза программ с переприсваиваниями. Такой синтез рассматривается с использованием теоретико-модельного подхода. Для изучения программистской и декларативной семантики ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис