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

Тема в разделе "Разработка ПО", создана пользователем Fastearn, 30 июн 2014.

  1. Fastearn

    Fastearn Богуслав К.

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

    [​IMG]

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

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

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

    Вложения:

    Fastearn, 30 июн 2014
    #1
  2. Byuri

    Byuri Никифор П.

    Спасибо
     

    Byuri, 30 июн 2014
    #2
  3. Fastearn

    Fastearn Богуслав К.

    Пожалуйста.
     

    Fastearn, 30 июн 2014
    #3
Похожие книги

  1. Предприятие 2: 0. Социальное программное обеспечение сегодня и завтра

  2. Бортовые компьютеры, программное обеспечение и полетные операции: Введение

  3. Социальное обеспечение в Великобритании

  4. Unix: Программное окружение

  5. Свободное программное обеспечение: FREE PASCAL для студентов и школьников

Загрузка...

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