Вы здесь

Главная

Новые методы конструирования программ

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

Входные языки системы поддержки технологии нисходя его проектирования структурированных программ
К формализации типа "поток"
О проведении аналитических преобразований с использованием схем Канторовича
О пропозициональной динамической логике с зацикливанием
Пошаговая разработка корректных программ посредством процедурной реализации абстрактных типов данных
Преобразование программ со сложными структурами данных в эквивалентные логические теории
Разработка программы применением преобразований: решение одной олимпиадной задачи
Семантические порождаю ие модели
Чистка остаточной программы как метод оптимизации вычислений на реляционном языке
Экспериментальное исследование реляционных программ