ru.linux
- RU.LINUX ---------------------------------------------------------------------
From : Aleksey Cheusov 2:5020/400 09 Oct 2002 15:31:38
To : Yuri E. Glushko
Subject : Re: g++
--------------------------------------------------------------------------------
.ua> <m3bs6b5sck.fsf@lexa.home.net> <ank5mm$2pi6$3@f1003.n5080.z2.fidonet.org>
.ua> <ank6f9$819$1@alice.infopulse.kiev.ua>
From: Aleksey Cheusov <cheusov@scnsoft.com>
"Yuri E. Glushko" <juzzeast@ecsat.kiev.ua> writes:
> <Vitaly.Lugovsky@ontil.ihep.su> wrote in message
> news:ank5mm$2pi6$3@f1003.n5080.z2.fidonet.org...
> > формального доказательства - это
>
> Кстати!
> Подкинь, плиз, парочку урлов по методикам/инструментам формальной
> верификации программ.
Загляни в древнюю книжку Гриса (кажется Д.) "Hаука Программирования".
Может чего и найдешь.
--
Best regards, Aleksey Cheusov.
--- ifmail v.2.15dev5
* Origin: Science Soft (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
| Тема: |
Автор: |
Дата: |
|
Re: g++ |
Vitaly.Lugovsky@ontil.ihep.su |
02 Oct 2002 20:57:56 |
 Re: g++ |
Boris Veytsman |
02 Oct 2002 21:16:36 |
 Re: g++ |
Vladimir Bormotov |
02 Oct 2002 21:49:12 |
 Re: g++ |
Boris Veytsman |
02 Oct 2002 22:21:42 |
|
Re: g++ |
Yuri E. Glushko |
03 Oct 2002 21:09:46 |
|
Re: g++ |
Vladimir Bormotov |
03 Oct 2002 21:44:24 |
|
Re: g++ |
Alex Tomas |
03 Oct 2002 22:02:49 |
 Re: g++ |
Vladimir Bormotov |
04 Oct 2002 00:01:00 |
|
Re: g++ |
Vitaly.Lugovsky@ontil.ihep.su |
04 Oct 2002 18:39:34 |
|
Re: g++ |
Yuri E. Glushko |
07 Oct 2002 18:16:08 |
|
Re: g++ |
Aleksey Cheusov |
09 Oct 2002 15:31:38 |
|
Re: g++ |
Alex Tomas |
07 Oct 2002 18:16:13 |
|
Re: g++ |
Valentin Nechayev |
07 Oct 2002 18:18:52 |
|
Re: g++ |
Eugene Karpachov |
08 Oct 2002 01:52:35 |
|
Re: g++ |
Valentin Nechayev |
08 Oct 2002 10:13:03 |
|
Re: g++ |
Yuri E. Glushko |
04 Oct 2002 13:49:56 |
|
Re: g++ |
Vitaly.Lugovsky@ontil.ihep.su |
04 Oct 2002 18:42:46 |
|
Re: g++ |
Yuri E. Glushko |
07 Oct 2002 18:16:45 |
|
Re: g++ |
Vladimir Bormotov |
07 Oct 2002 18:13:05 |
|
|
