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