URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Лингер Р., Миллс X., Уитт Б. Теория и практика структурного программирования: Пер. с англ.
Id: 1960
 
299 руб.

Теория и практика структурного программирования: Пер. с англ.

1982. 406 с. Твердый переплет. Букинист. Состояние: 4. Блок текста: 5-. Обложка: 4. Есть погашенная библиотечная печать.

 Аннотация

В книге американских авторов рассмотрены теоретические и практические методы структурного программирования, позволяющие программисту получать сложные программы без ошибок, а также быстро выявлять ошибки в готовык программах, полученных от других пользователей.

Для специалистов в области системного и программного обеспечения ЭВМ, а также студентов и аспирантов соответствующих специальностей


 Оглавление

Предисловие редактора перевода

Предисловие редакционной коллегии серии книг по системному программированию

Предисловие

Глава 1. Правильное программирование

1.1. Особенности разработки программ небольших размеров

1.2. Пути реализации крупномасштабных программных проектов

Глава 2. Средства логического выражения процессов

2.1. Введение

2.2. Роль естественного языка в программировании

2.3. Формальная логика

2.4. Множества и функции

2.5. Списки и строки

2.6. Литература

Глава 3. Средства написания проектов программ

3.1. Введение

3.2. Язык проектирования программ

3.3. Внешний синтаксис для управляющих структур

3.4. Внешний синтаксис структур данных

3.5. Внешний синтаксис системных структур

3.6. Внутренний синтаксис

Глава 4. Структурированные программы

4.1. Введение

4.2. Выполнение программы

4.3. Программные функции

4.4. Программные структуры

4.5. Пример структурирования программ

Глава 5. Чтение структурированных программ

5.1. Введение

5.2. Принципы чтения программ

5.3. Логические комментарии в структурированных программах

5.4. Пример чтения программ

Глава 6. Правильность структурированных программ

6.1. Введение

6.2. Верификация структурированных программ

6.3. Правильность элементарных программ

6.4. Методы доказательства правильности программ

6.5. Примеры верификации программ

6.6. Инварианты цикла при доказательстве правильности программ

6.7. Формулы для правильных структурированных программ

Глава 7. Написание структурированных программ

7.1. Введение

7.2. Основные принципы написания программ

7.3. Стратегии программирования

7.4. Пример детализации и проектирования программы

7.5. Пример использования эвристического и строгого подходов: определение сдачи

7.6. Другой пример использования эвристического и строгого подходов: игра в крестики-нолики

Предметный указатель

 
© URSS 2016.

Информация о Продавце