книги

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

Код 5480823

Нет в продаже

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

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

Оставить комментарий

Оцените книгу:

Издательство: Радио и связь
Дата выхода: декабрь 2023
ISBN: 9785256013363

Вместе с этой книгой покупают