ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Mikhail Edoshin                      2:5020/400     07 Jan 2003  18:50:55
 To : Daniil Uspensky
 Subject : Re: Формальная верификация программы
 -------------------------------------------------------------------------------- 
 

 Hi, Daniil Uspensky:
 
 > Где можно прочитать про сабж (аксиомы Хоара и примера доказательства
 > программ)?
 
 Краткое, но достаточное изложение есть у Турского в "Методологии
 программирования", 1981.
 
 -- 
 Михаил Едошин
 m.edoshin@vologda.ru
 Отправлено через сервер Форумы@mail.ru - http://talk.mail.ru
 --- ifmail v.2.15dev5
  * Origin: Talk.Mail.Ru (2:5020/400)
 
 

Вернуться к списку тем, сортированных по: возрастание даты  уменьшение даты  тема  автор 

Тема:    Автор:    Дата:    Формальная верификация программы   Daniil Uspensky   29 Dec 2002 23:58:54   Re: Формальная верификация программы   Mikhail Edoshin   07 Jan 2003 18:50:55