Russian Qt Forum
Май 10, 2024, 15:27 *
Добро пожаловать, Гость. Пожалуйста, войдите или зарегистрируйтесь.
Вам не пришло письмо с кодом активации?

Войти
 
  Начало   Форум  WIKI (Вики)FAQ Помощь Поиск Войти Регистрация  

Голосование
Вопрос: Принято-непринято
непонятно - 0 (0%)
не нужно - 0 (0%)
без различно - 1 (50%)
кое-что есть - 0 (0%)
интересно - 0 (0%)
требует пояснений - 1 (50%)
Всего голосов: 0

Страниц: [1]   Вниз
  Печать  
Автор Тема: Проверка управляющих конструкций алгоритмов и программ  (Прочитано 3576 раз)
Auravt
Гость
« : Сентябрь 22, 2012, 14:39 »

Прошу прочесть
http://depositfiles.com/files/1m2fe62rk
рисунки в
http://depositfiles.com/files/ezgcjartu
(вместо модной и занудно-дорогой Model Checking)
и дать конструктивную критику.
Если кому понравится метод,
то не попробуете ли запрограммировать ?
Нечто подобное я делал еще на ЕС 1060
и чуть позже на древнем IBM PC в Турбо С
Да и где сейчас эти пятидюймовые дискеты - на какой промышленной свалке ?
Могу давать подсказки,если понадобятся.
Спасибо за внимание.
Это очень конструктивный и благожелательный форум
С уважением
« Последнее редактирование: Сентябрь 22, 2012, 14:44 от Auravt » Записан
Auravt
Гость
« Ответ #1 : Сентябрь 22, 2012, 16:21 »

Почти все указанные в списке литературы статьи и книги можно поиском найти и скачать
Записан
Страниц: [1]   Вверх
  Печать  
 
Перейти в:  


Страница сгенерирована за 0.045 секунд. Запросов: 22.