Крымская Электронная Библиотека более 10000 книг (100 Гб) .: Просим помощи! .: RSS 2.0 .: Реклама на сайте .: ЧаВо .: Контакты


Баннерная сеть BANNER.UA

Главная> Программирование >Разное
.: Главная
.: Hardware
.: Автомобили
.: Дизайн
.: Дом и хозяйство
.: Интернет и сети
.: Операционные системы
.: Прикладные программы
.: Программирование
.: Работа в сети
.: Художественная лит-ра
.: Учебная литература
.: Автомобили ВАЗ,ЗАЗ

.: Военная библиотека

.: Архив журналов

.: Готовим вкусно с фото

Поиск по сайту:


Популярные книги:

1. Фрост Л. Фото на продажу: Пособие для фотографов-фрилансеров
2. Попов А. Командные файлы и сценарии Windows Script Host.
3. Черникова Л.П. Шпаргалки по химии: Учебное пособие.
4. Лещев Д. Создание интерактивного web-сайта: учебный курс.
5. А. Кухарчик PHP: обучение на примерах
6. Ю.Высоцкая Рецепты Юлии Высоцкой. Едим дома.
7. Бен-Ари М. Языки программирования. Практический сравнительный анализ.
8. Visual C++ для начинающих
9. Харрис Э. PHP / MySQL для начинающих.
10. Грубер М. Понимание SQL
Dropbox - БЕСПЛАТНАЯ виртуальная флешка, она всегда с тобой!!!!


Миллз Х.
"Структурное программирование: взгляд в прошлое и будущее"
В статье анализируются основы структурного программирования и история возникновения этого направления. На примере двух крупных проектов (New York Times и NASA Skylab) делается вывод о высокой эффективности и большом потенциале структурного программирования. Будущее развития этого направления автор видит прежде всего во внедрении доказательного программирования, основанного на идеях математического доказательства корректности создаваемых программ. Отказ от ставшей уже традиционной покомпонентной отладки и тестирования и переход на рельсы функциональной верификации поможет, по мнению автора, добиться гораздо более высокого качества и необходимого уровня надежности сложных программных систем.
В настоящий момент книга недоступна. Если она очень Вам нужна сообщите об этом

Крымская Электронная библиотека Written by KruzZZ.com