Ваша оценкаКнига написана одним из крупнейших зарубежных специалистов в области программирования, известным советскому читателю по переводам его книг на русский язык (например, "Структурное программирование", "Мир", 1972). Она посвящена фундаментальным вопросам конструирования корректных и изящных программ для ЭВМ. В ней предлагается методика формального вывода программы из математической постановки задачи. При этом прослеживается развитие алгоритмов вплоть до создания программ. Материал излагается в форме...
Жанры
Издательство:
Год издания:
1978
Язык:
Русский
Твердый переплет, 280 стр.
Тираж: 25000 экз.
Формат: 60x90/16 (145х215 мм)
Возрастные ограничения:
18+
Содержание
Перевод: И. Зусман, Виктор Мартынюк, Л. Ухов
Рейтинг LiveLib
0
0 оценок
Ваша оценкаПрочитали 1Хотят прочитать 11
Рецензии
На эту книгу еще нет ни одной рецензии. Ваша может стать первой.
Цитаты
Еще не добавлена ни одна цитата из книги. Ваша может стать первой.
