Форум программистов, компьютерный форум CyberForum.ru

Метод аналитической верификации - C++

Восстановить пароль Регистрация
 
alivedeath
0 / 0 / 0
Регистрация: 24.11.2014
Сообщений: 19
24.11.2014, 05:44     Метод аналитической верификации #1
Какой метод существует для аналитической верификации?
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
24.11.2014, 05:44     Метод аналитической верификации
Посмотрите здесь:

C++ Метод итераций и метод Зейделя
Метод дихотомии (как метод оптимизации) C++
C++ Как описать метод класса? Как двумя способами описать инлайнируемый метод класса? Что такое this?
метод деления отрезка пополам и метод итерации C++
Есть метод класса внутри , есть проверка. Если условие сходится то метод должен выдать указатель, иначе булевую переменную C++
Метод Эйлера, и Метод Лагранжа, в долгу не останусь C++
C++ Метод оптимизации. Метод Фибоначчи
C++ Как передать в метод класса Menu указатель на метод дочернего класса?

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
IrineK
Заблокирован
24.11.2014, 08:26     Метод аналитической верификации #2
Методы верификации программного обеспечения

Книга
Кулямин В.В. Методы верификации программного обеспечения. - М.: Институт Системного Программирования РАН, 2008. – 111 с.
alivedeath
0 / 0 / 0
Регистрация: 24.11.2014
Сообщений: 19
11.12.2014, 07:59  [ТС]     Метод аналитической верификации #3
Спасибо, вопрос можно считать закрытым.
Yandex
Объявления
11.12.2014, 07:59     Метод аналитической верификации
Ответ Создать тему
Опции темы

Текущее время: 00:50. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Рейтинг@Mail.ru