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