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

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

Вес 200 г
Габариты 21.59 × 14.48 × 2.54 см
handling_time

14 days
ISBN

978-5-256-01336-3
EAN

9785256013363
Издательство

Переплет

Автор

Стандарт

10
Дата получения

1991
Год выпуска

Количество страниц

SKU

61998
Язык

Тираж

EAN 9785256013363
9 ₪
Нет в наличии
icon

* в связи с отменой регулярного авиасообщения срок доставки может быть дольше обычного

Описание

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

Книги, изданные в Израиле