Проектирование корректных структурированных программ

Проектирование корректных структурированных программ КНИГИ » ПРОГРАММИНГ

Название: Проектирование корректных структурированных программ
Автор: Алагич С., Арбиб М.
Издательство: Москва: Радио и связь
Год: 1984
Формат: pdf
Размер: 15.1 Мб
Язык: русский

Книга посвящена основам структурного программирования и методам доказательства корректности программ. Обобщены результаты исследовании, на которых базируется современная методология проектирования программ сверху вниз. Изложение ориентировано на язык Паскаль. Даны практические рекомендации и примеры проектирования программ.

turbobit.net

ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!

Автор: IgorKs 7-11-2017, 16:32 | Напечатать |

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.

С этой публикацией часто скачивают:

Математическое введение в информатику Название: Математическое введение в информатику Автор: Дудаков С.М., Карлов Б.Н. Издательство: Тверь: Тверской государственный университет Год: 2017...

Проектирование и производство сложных заказных программных продуктов Название: Проектирование и производство сложных заказных программных продуктов Автор: Липаев В.В. Издательство: СИНТЕГ Год: 2011 Страниц: 398 ISBN:...

Прикладные методы верификации программ Название: Прикладные методы верификации программ Автор: Непомнящий В.А., Рякин О.М. Издательство: М.: Радио и связь Год: 1988 Формат: PDF Страниц:...

Элементы современного программирования Название: Элементы современного программирования Автор: Дмитриева М.В., Кубенский А.А. Издательство: СПб.: Изд-во С.-Петерб. ун-та Год: 1991 Страниц:...

Проектирование печатных плат. 8 лучших программ Название: Проектирование печатных плат. 8 лучших программ Автор: Уваров А.С. Издательство: ДМК Пресс Год: 2009 Страниц: 288 ISBN: 978-5-94074-483-2...

Shareware профессиональная разработка и продвижение программ Название: Shareware профессиональная разработка и продвижение программ Автор: Жарков С. В. Издательство: СПб.: БХВ-Петербург Год: 2002 ISBN:...

Сборник примеров и задач по программированию Название: Сборник примеров и задач по программированию Автор: Москвитина О.А., Новичков В.С., Пылькин А.Н. Издательство: Горячая линия-Телеком Год:...

Дисциплина программирования Название: Дисциплина программирования Автор: Э. Дейкстра Издательство: Мир Год: 1978 Формат: pdf Страниц: 276 Размер: 14,9 Mb Язык: Русский Книга...

Методы программирования Название: Методы программирования Автор: Минакова Н.И., Невская Е.С., Угольницкий Г.А., Чекулаева А.А., Чердынцева М.И. Издательство: Вузовская книга...

Мобильность программ и особенности реализаций языка Си Название: Мобильность программ и особенности реализаций языка Си Автор: Ю. А. Стариков Издательство: М.: Память Год: 1992 Формат: pdf Страниц: 88...

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.