ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Ilya Malyarenko                      2:5030/805.9   13 Apr 2003  14:08:00
 To : Boris Sivko
 Subject : Доказательство правильности ПО
 -------------------------------------------------------------------------------- 
 

 
 12 Apr 03 22:09, Boris Sivko -> Vitaly Lugovsky:
 
 Давным давно видел переводную книжку "Доказательство правильности 
 программ" (издание конца 70-х). Там все доказательства проводятся на
 базе математической индукции.
 
 Ilya
 
 --- Зона дыхания сварщиков
  * Origin: Vade mecum... (2:5030/805.9)
 
 

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

Тема:    Автор:    Дата:    Re: Доказательство правильности ПО   Vitaly Lugovsky   10 Apr 2003 04:48:10   Доказательство правильности ПО   Boris Sivko   12 Apr 2003 22:09:53   Доказательство правильности ПО   Ilya Malyarenko   13 Apr 2003 14:08:00