1. Этот сайт использует файлы cookie. Продолжая пользоваться данным сайтом, Вы соглашаетесь на использование нами Ваших файлов cookie. Узнать больше.

Программное обеспечение без ошибок

Тема в разделе "Разработка ПО", создана пользователем Crackjack1, 31 янв 2011.

  1. Crackjack1

    Crackjack1 Букварик

    Бейбер Роберт Лоренс
    Программное обеспечение без ошибок

    [​IMG]

    Издательство: Радио и связь
    Жанр: Разработка и тестирование программного обеспечения

    Качество: Хорошее
    Страниц: 176
    Формат: pdf, fb2, epub

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


    Вложения:

  2. Alexzzz

    Alexzzz Школьник

    Автор молодчинка, спасибо за книгу!
     

Поделиться этой страницей