Re: Groovy

Article View: pl.comp.objects

Article #16731

#16731

From: Adam Karpierz
Date: Thu, 10 May 2007 00:22

8 lines
1132 bytes

Uzytkownik "A.L." <fela@2005.com> napisal:

> SparkAda umozliwia formalna weryfikacje programow
> w jezyku Ada, wlasnie w oparciu o te statyczne typy:

Jest to warunek konieczny, ale nie wystarczajacy.

AK

Technical Details

Message-ID: <f1toki$9an$1@inews.gazeta.pl>

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail

References: <f1tdl6$2s4$1@inews.gazeta.pl> <c5g443ll419v14af73ablf2f7iotp139r2@4ax.com>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
From: "Adam Karpierz" <karpierz@_NOSPAM_python.pl>
Newsgroups: pl.comp.objects
Subject: Re: Groovy
Date: Thu, 10 May 2007 02:22:37 +0200
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 11
Message-ID: <f1toki$9an$1@inews.gazeta.pl>
References: <f1tdl6$2s4$1@inews.gazeta.pl> <c5g443ll419v14af73ablf2f7iotp139r2@4ax.com>
NNTP-Posting-Host: dns.welnowiec.net
X-Trace: inews.gazeta.pl 1178756562 9559 83.143.96.1 (10 May 2007 00:22:42 GMT)
X-Complaints-To: usenet@agora.pl
NNTP-Posting-Date: Thu, 10 May 2007 00:22:42 +0000 (UTC)
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3028
X-Priority: 3
X-RFC2646: Format=Flowed; Original
X-Newsreader: Microsoft Outlook Express 6.00.2900.3028
X-User: karpierz
X-MSMail-Priority: Normal
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit

Reply to Parent Message