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