Ученые записки Архив 2013


УЗ1-2013 V. МАТЕМАТИКА, ИНФОРМАТИКА, ФИЛОЛОГИЯ И ЛИНГВИСТИКА.

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

Автор/Author: А.А. Набебин

Аннотация/Annotation:
Скачать/Download | Посмотреть онлайн/View online

Ключевые слова/Tags1: семейство языков программирования OBJ; аксиоматическое написание программ; модуль; им- порт модулей; сорта и подсорта; параметризация.