eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.pl › Grupy › pl.comp.programming › jedno proste pytanie › Re: jedno proste pytanie
« poprzedni post
następny post »
  • Path: news-archive.icm.edu.pl!news.rmf.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!not
    -for-mail
    From: Student <a...@o...pl>
    Newsgroups: pl.comp.programming
    Subject: Re: jedno proste pytanie
    Date: Fri, 06 Aug 2010 15:59:54 +0200
    Organization: http://onet.pl
    Lines: 6
    Message-ID: <i3h4gs$evl$1@news.onet.pl>
    References: <4...@n...onet.pl>
    NNTP-Posting-Host: 91.207.68.2
    Mime-Version: 1.0
    Content-Type: text/plain; charset=ISO-8859-2; format=flowed
    Content-Transfer-Encoding: 8bit
    X-Trace: news.onet.pl 1281103196 15349 91.207.68.2 (6 Aug 2010 13:59:56 GMT)
    X-Complaints-To: n...@o...pl
    NNTP-Posting-Date: Fri, 6 Aug 2010 13:59:56 +0000 (UTC)
    User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.1.10) Gecko/20100512
    Thunderbird/3.0.5
    In-Reply-To: <4...@n...onet.pl>
    Xref: news-archive.icm.edu.pl pl.comp.programming:186332
    [ ukryj nagłówki ]

    On 08/06/2010 07:43 AM, j...@p...onet.pl wrote:
    > Mam pytanie:
    > Jak się weryfikuje poprawność programu? Znam: testowanie, dowodzenie
    > poprawności. Jak jeszcze?
    >
    http://scholar.google.com/scholar?hl=en&q=+proving+p
    rogram+correctness&btnG=Search&as_sdt=2000&as_ylo=&a
    s_vis=0

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj

« poprzedni post
następny post »

Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Grupy

Szukaj w grupach

Polecamy

Jak korzystnie przelewać pieniądze do Polski pracując za granicą?

Jak korzystnie przelewać pieniądze do Polski pracując za granicą?

Jak zwiększyć otwieralność mailingu? 6 sposobów na wysoki Open Rate

Jak zwiększyć otwieralność mailingu? 6 sposobów na wysoki Open Rate

Ranking chwilówek i pożyczek pozabankowych

Ranking chwilówek i pożyczek pozabankowych

Artykuły promowane

Jaki jest koszt przejechania 100 km samochodem? Sprawdź porównanie benzyny, oleju napędowego, LPG i innych paliw.

Jaki jest koszt przejechania 100 km samochodem? Sprawdź porównanie benzyny, oleju napędowego, LPG i innych paliw.

Najem prywatny 2023. Podatek od wynajmu mieszkania, innych nieruchomości i ruchomości - jakie zmiany?

Renta wdowia - wnioski już od 1 stycznia 2025

newsletter rss

Eksperci egospodarka.pl

1 1 1

Najnowsze w serwisie

Jak podatek Belki powiększa straty posiadaczy lokat bankowych

Jak podatek Belki powiększa straty posiadaczy lokat bankowych

Rzeczywisty właściciel w podatku u źródła - kluczowe objaśnienia MF po latach oczekiwania

Rzeczywisty właściciel w podatku u źródła - kluczowe objaśnienia MF po latach oczekiwania

Trump szuka "człowieka od niskich stóp"

Trump szuka "człowieka od niskich stóp"

Test Ford Ranger MS-RT - sportowy pick-up z charakterem i mocnym dieslem

Test Ford Ranger MS-RT - sportowy pick-up z charakterem i mocnym dieslem

Due diligence w M&A – co ujawnia i dlaczego jest kluczowe?

Due diligence w M&A – co ujawnia i dlaczego jest kluczowe?

Cenowy chaos na stacjach ładowania. Sprawdż, ile zapłacisz

Cenowy chaos na stacjach ładowania. Sprawdż, ile zapłacisz

NSA: banki nie mogą przechowywać danych osobowych byłych i niedoszłych klientów

NSA: banki nie mogą przechowywać danych osobowych byłych i niedoszłych klientów

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: