| |
| Популярные книги |
|
|
|
|
|
|
|
|
ОписаниеПриводятся различные способы проверки правильности программного обеспечения. Все содержащиеся выкладки основываются на строгом математическом аппарате. Однако автор, профессор Университета им. Гете, Германия, акцентирует внимание на практических аспектах решения данной проблемы, избавляя создателей программного обеспечения от долгих и скрупулезных доказательств, благодаря которым нужный результат может быть достигнут относительно простыми средствами. Для программистов.
Ключевые теги: обеспечение, создатель, долгов, доказательство, аспект, решение, проблема, средство, программист, результат, способ, проверка, правильность, бейбер, роберт, лоренс
|
|
|
(голосов: 0) |
Уважаемый посетитель вы вошли на сайт как незарегистрированный пользователь. Мы рекомендуем вам зарегистрироваться либо войти на сайт под своим именем. |
 |
Посетители, находящиеся в группе Гости, не могут оставлять комментарии в данной новости. |
|
|
ШКОЛЬНАЯ ЛИТЕРАТУРА
