Вы здесь

Главная

Трансляция и модели программ

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

Верификация и тестирование интерпретатора языка БЭЙСИК
Очерк схемной теории рекурсивных программ
Перераспределение памяти в крупноблочных программах