Программное обеспечение без ошибок. Приемы и секреты создания правильных программ

Программное обеспечение без ошибок. Приемы и секреты создания правильных программ

Р. Л. Бейбер

     0

бумажная книга

6.36 USD

В корзину

Наличие на складе:

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 01.12.2024; планируемая отправка: 02.12.2024

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 04.12.2024; планируемая отправка: 05.12.2024

Продать эту книгу

Издательство: Радио и связь
Дата выхода: декабрь 1996
ISBN: 5-256-01336-X
Тираж: 7 000 экземпляров
Объём: 192 страниц
Масса: 200 г
Размеры(В x Ш x Т), см: 21 x 15 x 1
Обложка: мягкая
Бумага: офсетная
Иллюстрированное издание +
Переводное издание: Error - FreeSoftware: Know - How and Know Why of Program Correctness
Язык оригинала: английский
ISBN оригинала: 0-471-93016-4
Год выхода оригинала: 1991

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

Каталог