Вы здесь

Главная

схемы программ

Связанные издания:

Введение в теорию схем программ
Компактность и частичная разрешимость отношения невключения в некоторых классах схем программ
Логико-термальная эквивалентность схем программ
Моделирование программ схемами и построение полных систем преобразований схем
Отношения эквивалентности на классах схем программ
Средства конструирования спецификаций абстрактных типов данных и их применение к анализу схем программ