«Наука программирования» Дэвида Гриса (David Gries, Science of Programming, Springer-Verlag, 1987) является превосходным введением в область методик верификации программ. Начинается она с курса логики, затем рассматривает верификацию и разработку программ с формальной точки зрения и, наконец, переходит к обсуждению программирования на конкретных языках. В этой главе я попытал* ся набросать потенциальные преимущества метода верификации программ; единственный способ для программиста научиться эффективно пользоваться этими методиками — изучить их по книге наподобие указанной.
Опубликовал vovan666
April 16 2013 23:58:23 ·
0 Комментариев ·
4001 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
