Бейбер Роберт Лоренс: Программное обеспечение без ошибок
Скачать книгу (размер 891 Kb , формат fb2, страниц 176) Аннотация: Приводятся различные способы проверки правильности программного обеспечения. Все содержащиеся выкладки основываются на строгом математическом аппарате. Однако автор, профессор Университета им. Гете, Германия, акцентирует внимание на практических аспектах решения данной проблемы, избавляя создателей программного обеспечения от долгих и скрупулезных доказательств, благодаря которым нужный результат…