Основания языков программирования

Аннотация

Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков прогр

Отзывы читателей

Оставить отзыв

Ваше имя Отзыв Проверочный код Отправить отзыв