Программное обеспечение без ошибок
Программное обеспечение без ошибок
|
Разработка и тестирование программного обеспечения
|
Автор: Бейбер Роберт Лоренс Издательство: Радио и связь, 1996 |
PDF, 176 страниц, 5.28 МБ
|
Приводятся различные способы проверки правильности программного обеспечения. Все содержащиеся выкладки основываются на строгом математическом аппарате. Однако автор, профессор Университета им. Гете, Германия, акцентирует внимание на практических аспектах решения данной проблемы, избавляя создателей программного обеспечения от долгих и скрупулезных доказательств, благодаря которым нужный результат может быть достигнут относительно простыми средствами. Для программистов.
|
|
|
633
kubinec12
10 сентября 2009
|
|
Посетители, находящиеся в группе Гости, имеют ряд ограничений на скачивание книг. После регистрации будут доступны все ссылки для скачивания, а также скрыта реклама на сайте.
|
|
|
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикаци.
|
|
|
|