Главная > Автор Бейбер Роберт Лоренс
О чем не говорят конспирологи
Книги Бейбер Роберт Лоренс
Программное обеспечение без ошибок
Автор: Бейбер Роберт Лоренс
Издательство: Радио и связь, 1996
Жанр: Разработка и тестирование программного обеспечения
Страниц: 176 страниц
Загрузил: kubinec12, 10 сентября 2009
   Приводятся различные способы проверки правильности программного обеспечения. Все содержащиеся выкладки основываются на строгом математическом аппарате. Однако автор, профессор Университета им. Гете, Германия, акцентирует внимание на практических аспектах решения данной проблемы, избавляя создателей программного обеспечения от долгих и скрупулезных доказательств, благодаря которым нужный результат может быть достигнут относительно простыми средствами. Для программистов.
Для правильной работы fb2Мира используйте только последние версии браузеров: Chrome, Opera или Firefox.
В других браузерах работа fb2Мира не гарантируется!
Ваша дата определена как 23 ноября 2024
Рейтинг@Mail.ru
© 2008–2024 fb2Мир