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