Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
структурированная программа
Связанные издания:
Автоматический синтез структурированных программ по примерам их выполнения
Разрешимость эквивалентности в классах схем структурированных и потоковых программ
Сравнительная оценка возможностей и применение р-технологии для автоматизированной разработки логически сложных структурированных программ