|
ru.linux
- RU.LINUX ---------------------------------------------------------------------
From : Mikhail Gusarov 2:5020/400 18 Aug 2005 21:10:33
To : Aleksey Barabanov
Subject : Re: linux для десктопов
--------------------------------------------------------------------------------
<dottedmag-this-is-botva-against-spam@dottedmag.fanstvo.com>
You (abb@wessen.ru) wrote:
>> - средства формальной проверки алгоритмов,
AB> Ценно ! И очень свежо. Осталось только найти того кто публично заявит, что
AB> не следует этому ;)
Hу, процитрованному никто не следует. Хотя бы потому, что давно уже
доказано, что формальное доказательство правильности работы программы
столь же сложно, либо сложнее самой программы.
--
Mikhail Gusarov
ICQ UIN: 111575219
JID: dottedmag@jabber.fanstvo.com
--- ifmail v.2.15dev5.3
* Origin: Demos online service (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
