ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Daniil Uspensky 2:5030/1551.7 29 Dec 2002 23:58:54
To : All
Subject : Формальная верификация программы
--------------------------------------------------------------------------------
Где можно прочитать про сабж (аксиомы Хоара и примера доказательства программ)?
Особенно интересует верификация программ на Паскале.
Daniil
--- GoldED+ 1.1.4.7 (Linux 2.4.20 i486) [Windows Registered User #9267340986]
* Origin: Powered by Linux (2:5030/1551.7)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
