книги Наука, техника, медицина Естественные науки Точные науки Математика Кибернетика

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

Код 62128

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

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

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

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

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

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

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

Оставить комментарий

Оцените книгу:

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

Книга находится в категориях

Математика Алгоритмы Проектирование ВУЗ Разработка программ Показать все категории

Вместе с этой книгой покупают